theorem proved term proof

`cube_face_identity`

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

formal statement (Lean)

  63theorem cube_face_identity : (6 : ℕ) = 2 * 3 := by decide

Term-mode proof.

  64
  65/-- Q₃ Euler: V - E + F = 8 - 12 + 6 = 2. -/

From the project-wide theorem graph. These declarations reference this one in their body.

cubeFaceUniversalityCert in IndisputableMonolith.CrossDomain.CubeFaceUniversality decl_use

Lean names referenced from this declaration's body.

V in IndisputableMonolith.Cosmology.InflatonPotentialFromJCost decl_use
E in IndisputableMonolith.Foundation.SpectralEmergence decl_use
V in IndisputableMonolith.Foundation.SpectralEmergence decl_use
F in IndisputableMonolith.Physics.AnchorPolicy decl_use
F in IndisputableMonolith.Physics.LeptonGenerations.TauStepDerivation decl_use
F in IndisputableMonolith.Pipelines decl_use
V in IndisputableMonolith.RRF.Core.Glossary decl_use