`constants_calculated_proofs_summary`

proved

show as: view math explainer →

module: IndisputableMonolith.Unification.ConstantsPredictionsProved
domain: Unification
line: 247 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Unification.ConstantsPredictionsProved on GitHub at line 247.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

formal source

 244    
 245    **Proof Methods**: `norm_num`, `nlinarith`, `positivity`, `field_simp`, `Real.log_lt_log`
 246    **All from 1.5 < φ < 1.62 and φ² = φ + 1.** -/
 247theorem constants_calculated_proofs_summary : True := trivial
 248
 249end ConstantsPredictionsProved
 250end Unification
 251end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.