Registry · Definition II.D91 established planned

II.D91 — Mode C Catalog

Catalog of 16 Mode C (Refused) constructions: orthodox structures that Category tau structurally cannot support, including algebraic closure, conformal geometry, Hilbert spaces, and continuous spectra.

Book II Part 11 Ch. 63

Dependency Graph

Depends on (14)

Depended on by (3)

Lean Formalization

Module:

Symbol: