Registry · Definition V.D220 tau-effective planned

V.D220 — The SI Cascade Algorithm

11-step explicit algorithm (L0-L4) converting iota_tau + m_n into all SI quantities.

Book V Part 8 Ch. 71

Dependency Graph

Depended on by (1)

Lean Formalization

Module: