Registry · Definition II.D76 established formalized

II.D76 — Dimensional Rigidity

tau admits exactly one holomorphic structure with fibration index 3 (= 1 base + 2 fiber) and refinement dimension 4 (= ABCD rays). There is no family of tau-structures indexed by dimension; the 3 in tau^3 is an algebraic fibration index, not a metric dimension parameter.

Book II Part 11 Ch. 63

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookII.Mirror.DimensionalLadder

Symbol: DimensionalRigidity