Registry · Definition
IV.D566
tau-effective
not_formalized
IV.D566 — The tau3 Manifold
The tau3 manifold is the fibered product equationeq:ch03-tau3 tau3 = tau1 _f T^2, equation
Book IV
Part 1
Ch. 3