Registry · Remark IV.R107 tau-effective not_applicable

IV.R107 — Topological rigidity

The Exactly-One-Derived Theorem is topologically rigid: any homeomorphism preserving the S^1 v S^1 structure preserves the unique wedge point, so the omega-sector (Higgs mechanism) cannot be removed by continuous deformation nor can a second crossing be created.

Book IV Part 6 Ch. 45

Lean Formalization

Module:

Symbol: