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

numerological_summary

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)

 559theorem numerological_summary :
 560    V 3 = 8 ∧
 561    E 3 = 12 ∧
 562    F₂ 3 = 6 ∧
 563    face_pairs 3 = 3 ∧
 564    aut_order 3 = 48 ∧
 565    fermion_flavors = 24 ∧
 566    consciousness_ground.is_zero_defect :=

proof body

Term-mode proof.

 567  ⟨Q3_vertices, Q3_edges, Q3_faces, three_generations,
 568   Q3_aut_order, fermion_count_24, consciousness_is_zero_defect⟩
 569
 570end
 571
 572end SpectralEmergence
 573end Foundation
 574end IndisputableMonolith

depends on (30)

Lean names referenced from this declaration's body.