pith. machine review for the scientific record. sign in
theorem

numerological_summary

proved
show as:
view math explainer →
module
IndisputableMonolith.Foundation.SpectralEmergence
domain
Foundation
line
559 · github
papers citing
none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Foundation.SpectralEmergence on GitHub at line 559.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

 556    1             (consciousness ground state = unique minimum)
 557
 558    All from D = 3. Zero parameters. -/
 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 :=
 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