Registry · Definition IV.D31 tau-effective formalized

IV.D31 — τ-to-SI Conversion

τ-to-SI conversion factor Λ_M = m_n(SI). All masses: m_x(SI) = Λ_M × r_x(ι_τ) where r_x is the τ-native mass ratio. Structure records name, conversion numerator/denominator, anchor flag.

Book IV Part 2 Ch. 12

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Calibration.CalibrationAnchor

Symbol: Tau.BookIV.Calibration.TauToSIConversion