theorem proved term proof

`physics_complexity_structure`

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

formal statement (Lean)

 174theorem physics_complexity_structure : physics_complexity_from_ledger :=

Term-mode proof.

 175  computation_limits_structure
 176
 177/-- **THEOREM IC-005.13**: Physics complexity implies computation limits. -/

Lean names referenced from this declaration's body.

computation_limits_structure in IndisputableMonolith.Information.ComputationLimitsStructure decl_use
physics_complexity_from_ledger in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use