Registry · Remark II.R06b established not_applicable

II.R06b — Compatibility Axiom Schema

Compatibility Axiom Schema: geometric constructions must be decidable and coherence-respecting

Book II Part 3 Ch. 18

Dependency Graph

Depends on (4)

II.D18a II.D14 II.T04 II.T06

Lean Formalization

Module:

Symbol: