Registry · Theorem
IV.T258
tau-effective
not_formalized
IV.T258 — EM Calibration Cascade
The following chain of derivations is complete within Category : enumerate Tier 0 (tau3 topology): iota_tau = 2/( +...
Book IV
Part 6
Ch. 45