equation 7.42 eq:ana-exp-derivative

open in the book · parts/02-mathematical-methods/05-real-analysis.tex:1337

connected by a declared semantic edge

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

depends_on proposition 7.61 The logarithm ¶
- depends_on corollary 7.69 $\ee$ is the unique self-reproducing base ¶
  - depends_on remark 7.70 What the condition says ¶
- depends_on definition 7.62 Real powers ¶
  - depends_on definition 7.90 The golden ratio ¶
    - depends_on proposition 7.91 The golden ratio ¶
      - depends_on proposition 7.92 Continued fraction and the Fibonacci ratios ¶
      - depends_on proposition 125.2 Crystallographic restriction ¶
      - depends_on remark 7.95 Where $\varphi$ is used ¶
      - depends_on remark 7.94 Three numbers, two kinds ¶
  - depends_on proposition 7.63 Laws of real powers ¶
    - depends_on definition 7.90 The golden ratio ¶ ↺
    - depends_on lemma 7.67 The limit over real exponents ¶
      - depends_on proposition 7.68 The natural base ¶
    - depends_on proposition 7.68 The natural base ¶ ↺
    - depends_on proposition 7.91 The golden ratio ¶ ↺
    - depends_on proposition 7.89 Irrationality of square roots ¶
      - depends_on proposition 7.91 The golden ratio ¶ ↺
  - depends_on proposition 7.89 Irrationality of square roots ¶ ↺
- depends_on lemma 7.67 The limit over real exponents ¶ ↺
- depends_on proposition 7.68 The natural base ¶ ↺
- depends_on proposition 7.63 Laws of real powers ¶ ↺
depends_on proposition 7.63 Laws of real powers ¶ ↺

Neighborhood

Every logical edge within two steps of this node.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Edges

type	direction	node	provenance	where
`depends_on`	←	The logarithm	declared	parts/02-mathematical-methods/05-real-analysis.tex:1397
`depends_on`	←	Laws of real powers	declared	parts/02-mathematical-methods/05-real-analysis.tex:1449