theorem proved term proof

`born_rule_consistent`

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

formal statement (Lean)

  73theorem born_rule_consistent :
  74    -- Born rule is consistent with unitarity
  75    True := trivial

proof body

Term-mode proof.

  76
  77/-! ## Ledger Conservation -/
  78
  79/-- In RS, the ledger is conserved:
  80
  81    1. Total "ledger content" is constant
  82    2. No information can be created
  83    3. No information can be destroyed
  84    4. This is a fundamental axiom of RS -/

depends on (11)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
consistent in IndisputableMonolith.Complexity.SAT.Backprop decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization decl_use
is in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
of in IndisputableMonolith.Foundation.PhiForcingDerived decl_use
is in IndisputableMonolith.Foundation.SimplicialLedger.EdgeLengthFromPsi decl_use
of in IndisputableMonolith.Foundation.SpectralEmergence decl_use
is in IndisputableMonolith.GameTheory.MechanismDesignFromSigma decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
is in IndisputableMonolith.Mathematics.RamanujanBridge.MockThetaPhantom decl_use
constant in IndisputableMonolith.Relativity.Fields.Scalar decl_use