pith. machine review for the scientific record. sign in
def definition def or abbrev

ammoniaAnglePrediction

show as:
view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

formal statement (Lean)

 150def ammoniaAnglePrediction : ℝ := tetrahedralAngleDegrees - 2.5  -- One LP

proof body

Definition body.

 151
 152/-! ## Falsification Criteria
 153
 154The tetrahedral angle derivation is falsifiable:
 155
 1561. **Cosine value**: If cos(tetrahedral angle) ≠ -1/3 for sp³ carbon
 157
 1582. **Trend violation**: If bond angle doesn't decrease with lone pairs:
 159   CH₄ (109.5°) > NH₃ (107°) > H₂O (104.5°)
 160
 1613. **Formula violation**: If cos(θ) ≠ -1/(n-1) for other geometries
 162-/
 163
 164end
 165
 166end Chemistry
 167end IndisputableMonolith

depends on (7)

Lean names referenced from this declaration's body.