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)

  55noncomputable def tau0_seconds : ℝ := 7.3e-15

Definition body.

  56
  57/-- Golden ratio (local alias for Constants.phi). -/

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
tau0_seconds 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

Lean names referenced from this declaration's body.

Constants in IndisputableMonolith.CPM.LawOfExistence decl_use
tau0_seconds in IndisputableMonolith.Flight.GravityBridge decl_use
for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use