def definition def or abbrev

`physics_complexity_from_ledger`

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

formal statement (Lean)

 171def physics_complexity_from_ledger : Prop := computation_limits_from_ledger

Definition body.

 172
 173/-- **THEOREM IC-005.12**: Physics complexity structure holds. -/

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

physics_complexity_implies_limits in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
physics_complexity_structure in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use

Lean names referenced from this declaration's body.

computation_limits_from_ledger in IndisputableMonolith.Information.ComputationLimitsStructure decl_use