theorem proved term proof

`pmns_theta23_born_forced`

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

formal statement (Lean)

 251theorem pmns_theta23_born_forced :
 252    sin2_theta23_pred = atmospheric_weight + atmospheric_radiative_correction := by

Term-mode proof.

 253  unfold sin2_theta23_pred
 254  rfl
 255

Lean names referenced from this declaration's body.

sin2_theta23_pred in IndisputableMonolith.Physics.MixingDerivation decl_use
atmospheric_radiative_correction in IndisputableMonolith.Physics.MixingGeometry decl_use
atmospheric_weight in IndisputableMonolith.Physics.MixingGeometry decl_use