def definition def or abbrev

`apparentViolations`

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

formal statement (Lean)

 278def apparentViolations : List NoetherFalsifier := [

proof body

Definition body.

 279  ⟨"Energy non-conservation in expanding universe",
 280   "Time translation symmetry is broken by cosmological expansion"⟩,
 281  ⟨"Baryon number violation in GUTs",
 282   "U(1)_B is only an approximate symmetry"⟩,
 283  ⟨"CP violation",
 284   "CP is not an exact symmetry of nature"⟩
 285]
 286
 287end NoetherTheorem
 288end QFT
 289end IndisputableMonolith

depends on (14)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
Energy in IndisputableMonolith.Constants.RSNativeUnits decl_use
Time in IndisputableMonolith.Constants.RSNativeUnits decl_use
U in IndisputableMonolith.Constants.RSNativeUnits 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
NoetherFalsifier in IndisputableMonolith.QFT.NoetherTheorem decl_use
U in IndisputableMonolith.Recognition decl_use