Registry · Remark II.R07 established formalized

II.R07 — Orthodox Denotation Bridge

Orthodox Denotation Bridge

Book II Part 4 Ch. 22

Dependency Graph

Depends on (2)

II.D13 II.T15

Lean Formalization

Module: TauLib.BookII.Geometry.OrthodoxBridge

Symbol: orthodox_bridge_check