Registry · Proposition IV.P07 tau-effective formalized

IV.P07 — All Links Tau-Effective

10 tau-effective links, 0 conjectural, 0 metaphorical. Scope count verified by native_decide. The R formula has ZERO conjectural ingredients.

Book IV Part 3 Ch. 25

Dependency Graph

Depends on (1)

IV.T15

Lean Formalization

Module: TauLib.BookIV.Calibration.MassRatioFormula

Symbol: Tau.BookIV.Calibration.chain_scope_count