Registry · Theorem
IV.T239
framework
not_formalized
IV.T239 — T2 Holonomy Inner Product Derivation of
The torus T^2 in the fibration tau3 = tau1 _f T^2 has two fundamental cycles _1, _2 with holonomies iota_tau and...
Book IV
Part 5
Ch. 36