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)

Lean Formalization

Module: TauLib.BookII.Geometry.OrthodoxBridge

Symbol: orthodox_bridge_check