lemma A.108 The standard majorant
open in the book ·
appendices/A-long-proofs.tex:6299
· p. 2845
Rests on
-
depends_on
definition A.107
Majorant
¶
- depends_on equation 10.2 eq:pde-multi-index ¶
- proves proof app:A-long-proofs@proof-69 ¶
Supports
-
depends_on
proposition A.110
Explicit solution of the majorant problem
¶
- depends_on theorem A.112 Cauchy–Kovalevskaya, first-order form ¶
- depends_on theorem A.112 Cauchy–Kovalevskaya, first-order form ¶ ↺
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 |
→ | Majorant | declared | appendices/A-long-proofs.tex:6308 |
depends_on |
← | Explicit solution of the majorant problem | declared | appendices/A-long-proofs.tex:6388 |
depends_on |
← | Cauchy–Kovalevskaya, first-order form | declared | appendices/A-long-proofs.tex:6485 |
proves |
← | app:A-long-proofs@proof-69 | declared | appendices/A-long-proofs.tex:6311 |