theorem proved term proof

`atmospheric_angle_forced`

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

formal statement (Lean)

  66theorem atmospheric_angle_forced :
  67    atmospheric_weight + atmospheric_radiative_correction = 1 / 2 + 6 * Constants.alpha := by

Term-mode proof.

  68  unfold atmospheric_weight atmospheric_radiative_correction
  69  ring
  70
  71/-- The reactor mixing weight (octave closure). -/

Lean names referenced from this declaration's body.

octave in IndisputableMonolith.Aesthetics.MusicalScale decl_use
octave in IndisputableMonolith.Constants decl_use
alpha in IndisputableMonolith.Constants.Alpha decl_use
Constants in IndisputableMonolith.CPM.LawOfExistence decl_use
octave in IndisputableMonolith.Foundation.UniversalForcing.Strict.Music decl_use
octave in IndisputableMonolith.Masses.CoherenceExponent decl_use
octave in IndisputableMonolith.MusicTheory.HarmonicModes decl_use
atmospheric_radiative_correction in IndisputableMonolith.Physics.MixingGeometry decl_use
atmospheric_weight in IndisputableMonolith.Physics.MixingGeometry decl_use