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

Dependency Graph

Depends on (3)