Registry · Definition II.D19 established formalized

II.D19 — Betweenness Relation

Betweenness Relation

Book II Part 4 Ch. 18

Dependency Graph

Depends on (2)

II.D13 II.T05

Depended on by (2)

II.T15 II.T17

Lean Formalization

Module: TauLib.BookII.Geometry.Betweenness

Symbol: between