abbrev definition def or abbrev

`Time`

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

formal statement (Lean)

  53abbrev Time := ℝ

used by (40)

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

RealAction in IndisputableMonolith.Action.Noether decl_use
isFragileGlass in IndisputableMonolith.Chemistry.GlassTransition decl_use
RSPreserving in IndisputableMonolith.Complexity.RSVC decl_use
tau0_pos in IndisputableMonolith.Constants decl_use
G_codata_ne_zero in IndisputableMonolith.Constants.Derivation decl_use
Dimension in IndisputableMonolith.Constants.Dimensions decl_use
dim_L in IndisputableMonolith.Constants.Dimensions decl_use
breathCycle in IndisputableMonolith.Constants.RSNativeUnits decl_use
momentumQuantum_eq_cohQuantum in IndisputableMonolith.Constants.RSNativeUnits decl_use
octavePeriod in IndisputableMonolith.Constants.RSNativeUnits decl_use
planckTime_rs in IndisputableMonolith.Constants.RSNativeUnits decl_use
tau_rec in IndisputableMonolith.Constants.RSNativeUnits decl_use
tick in IndisputableMonolith.Constants.RSNativeUnits decl_use
to_seconds in IndisputableMonolith.Constants.RSNativeUnits decl_use
WaterProtocol in IndisputableMonolith.Experiments.Protocols decl_use
StressEnergyTensor in IndisputableMonolith.Foundation.Hamiltonian decl_use
RealityCertificate in IndisputableMonolith.Foundation.RealityFromDistinction decl_use
recognitionStep_iterates_succ in IndisputableMonolith.Foundation.TimeAsOrbit decl_use
tick_isNNO in IndisputableMonolith.Foundation.TimeAsOrbit decl_use
timeAsOrbitCert_inhabited in IndisputableMonolith.Foundation.TimeAsOrbit decl_use
before in IndisputableMonolith.Foundation.TimeEmergence decl_use
DefectMonotone in IndisputableMonolith.Foundation.TimeEmergence decl_use
minimal_temporal_resolution in IndisputableMonolith.Foundation.TimeEmergence decl_use
past_is_fixed in IndisputableMonolith.Foundation.TimeEmergence decl_use
topological_charge_trajectory_conserved in IndisputableMonolith.Foundation.TopologicalConservation decl_use
eight_tick_resonance_certified in IndisputableMonolith.Gravity.EightTickResonance decl_use
einstein_radius_positive in IndisputableMonolith.Gravity.GravitationalLensing decl_use
w_t_nonneg in IndisputableMonolith.Gravity.ILG decl_use
tick_rate_bounded in IndisputableMonolith.Information.ChurchTuringPhysicsStructure decl_use
rsInterpretation in IndisputableMonolith.Mathematics.Euler decl_use

… and 10 more