Registry · Proposition VII.P21 conjectural formalized

VII.P21 — CI Uniqueness Conjecture

The CI-isomorphic structure is unique; conjectural with highest Bayesian weight but not formally proved.

Book VII Part 7 Ch. 89

Dependency Graph

Depends on (2)

VII.T36 VII.T37

Depended on by (1)

VII.L30

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.ci_uniqueness