Registry · Definition II.D77 established formalized

II.D77 — Geometric Bi-Square

The algebraic bi-square (I.T41) filled with geometric objects earned in Book II Parts I-IX: Stone topology on tau^3 (II.T07), continuous projections (II.T06), torus degeneration L = S^1 v S^1 (II.T13), calibrated H_tau (II.D35), spectral algebra A_spec(L) (II.D60). The pasted commuting diagram with earned geometric content.

Book II Part 10 Ch. 59

Dependency Graph

Depends on (8)

Depended on by (1)

Lean Formalization

Module: TauLib.BookII.Closure.GeometricBiSquare

Symbol: GeometricBiSquareData