Registry · Proposition II.P03 established formalized

II.P03 — Four-Ray Rigidity

The four ABCD rays provide complete coordinates, bipolar compatibility, and coherence constraints through the fibered product structure, establishing holomorphic rigidity without importing quaternionic algebra.

Book II Part 1 Ch. 8

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookII.Interior.ABCDRigidity

Symbol: Tau.BookII.Interior.rigidity_2_to_30