def definition def or abbrev

`tau0_seconds`

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

formal statement (Lean)

  59def tau0_seconds : ℝ := 7.3e-15

Definition body.

  60
  61/-- A typical lab rotation period (e.g., 1000 RPM = 0.06 s). -/

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

labScaleRatio in IndisputableMonolith.Flight.GravityBridge decl_use
lab_schedule_well_separated in IndisputableMonolith.Flight.GravityBridge decl_use
rsLabPrediction in IndisputableMonolith.Flight.GravityBridge decl_use
calibration in IndisputableMonolith.Measurement.RSNative.Calibration.SingleAnchor decl_use
CalibrationCert in IndisputableMonolith.Measurement.RSNative.Calibration.SingleAnchor decl_use
calibration_protocol_hygienic in IndisputableMonolith.Measurement.RSNative.Calibration.SingleAnchor decl_use
mkCert in IndisputableMonolith.Measurement.RSNative.Calibration.SingleAnchor decl_use
one_act_reports_hbar in IndisputableMonolith.Measurement.RSNative.Calibration.SingleAnchor decl_use
tau0_seconds_protocol in IndisputableMonolith.Measurement.RSNative.Calibration.SingleAnchor decl_use
criticalModes in IndisputableMonolith.QFT.Decoherence decl_use
critical_modes_specification in IndisputableMonolith.QFT.Decoherence decl_use
decoherence_decreases_with_coupling in IndisputableMonolith.QFT.Decoherence decl_use
decoherence_decreases_with_modes in IndisputableMonolith.QFT.Decoherence decl_use
decoherenceTime in IndisputableMonolith.QFT.Decoherence decl_use
tau0_seconds in IndisputableMonolith.QFT.Decoherence decl_use

Lean names referenced from this declaration's body.

period in IndisputableMonolith.Astrophysics.PulsarEmissionRegimesFromRS decl_use
A in IndisputableMonolith.Foundation.IntegrationGap decl_use
A in IndisputableMonolith.Masses.Anchor decl_use
A in IndisputableMonolith.Modal.Actualization decl_use
tau0_seconds in IndisputableMonolith.QFT.Decoherence decl_use