theorem proved term proof

`three_generations_from_dimension`

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

formal statement (Lean)

  51theorem three_generations_from_dimension :
  52    face_pairs Foundation.DimensionForcing.D_physical = 3 := by

proof body

Term-mode proof.

  53  unfold face_pairs Foundation.DimensionForcing.D_physical
  54  rfl
  55
  56/-! ## No Fourth Generation -/
  57
  58/-- For D = 3, there cannot be 4 face-pairs (by definition). -/

depends on (8)

Lean names referenced from this declaration's body.

D_physical in IndisputableMonolith.Foundation.DimensionForcing decl_use
face_pairs in IndisputableMonolith.Foundation.ParticleGenerations decl_use
face_pairs in IndisputableMonolith.Foundation.SpectralEmergence decl_use
Generation in IndisputableMonolith.Foundation.SpectralEmergence decl_use
Generation in IndisputableMonolith.Foundation.UniversalForcing.BiologyRealization decl_use
Generation in IndisputableMonolith.Physics.CKM decl_use
Generation in IndisputableMonolith.Physics.ThreeGenerations decl_use
Generation in IndisputableMonolith.RecogSpec.RSLedger decl_use