Registry · Definition V.D345 tau-effective not_formalized

V.D345 — Three-generation topology

Ledger restatement: three-generation topology from H_1(tau^3)

Book V Part 7 Ch. 60