Registry · Remark II.R31 established formalized

II.R31 — Categoricity Implies No Ladder

The categoricity of tau^3 (II.T42, moduli = singleton) independently forces no dimensional ladder: a singleton moduli space cannot support a dimension-indexed family of holomorphic structures.

Book II Part 11 Ch. 63

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookII.Mirror.DimensionalLadder

Symbol: categoricity_no_ladder