structure definition def or abbrev

`TimeReversalOp`

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

formal statement (Lean)

  53structure TimeReversalOp where
  54  /-- Reversal negates time. -/
  55  negate : ∀ t : ℝ, True  -- Placeholder
  56
  57/-! ## Ledger Structure and Symmetries -/
  58
  59/-- A ledger entry representing a recognition event. -/

depends on (5)

Lean names referenced from this declaration's body.

Structure in IndisputableMonolith.Chemistry.CrystalStructure decl_use
A in IndisputableMonolith.Foundation.IntegrationGap decl_use
A in IndisputableMonolith.Masses.Anchor decl_use
A in IndisputableMonolith.Modal.Actualization decl_use
and in IndisputableMonolith.NumberTheory.CirclePhaseLift decl_use