pith. machine review for the scientific record. sign in
theorem proved term proof

generations_eq_dimension

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)

 210theorem generations_eq_dimension : face_pairs 3 = 3 := three_generations

proof body

Term-mode proof.

 211
 212/-! ## Part 4: Fermion Census — The 24 and 48 Theorems
 213
 214The total number of chiral fermion flavors is D × 2^D = 24.
 215The total fermionic state count is |Aut(Q₃)| = 48. -/
 216
 217/-- The chiral fermion flavor count: each sector contributes a number
 218    of flavors determined by matter_dim × generations × chiralities_per_sector. -/

depends on (19)

Lean names referenced from this declaration's body.