theorem proved term proof

`has_ct_structure`

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

formal statement (Lean)

 129theorem has_ct_structure : church_turing_physics_from_ledger :=

Term-mode proof.

 130  church_turing_physics_structure
 131
 132/-- The simulation hypothesis structure follows from Church-Turing physics. -/

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

simulation_hypothesis_structure in IndisputableMonolith.Information.SimulationHypothesisStructure decl_use

Lean names referenced from this declaration's body.

from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use
church_turing_physics_from_ledger in IndisputableMonolith.Information.ChurchTuringPhysicsStructure decl_use
church_turing_physics_structure in IndisputableMonolith.Information.ChurchTuringPhysicsStructure decl_use