Registry · Theorem
IV.T332
tau-effective
not_formalized
IV.T332 — Predictive Record of Book~IV
The following quantities are derived from iota_tau and compared to experiment: center tabularllrl
Book IV
Part 8
Ch. 73