Registry · Theorem IV.T369 tau-effective not_formalized IV.T369 — Three Generations from The fibration tau3 = tau1 _f T^2 has fundamental group equation _1(tau3) Z^3 equation Book IV Part 5 Ch. 35