Skip to content

Formalize the geometric 3-chain support theorem for planar point sets - #345

Merged
Vilin97 merged 10 commits into
LeanPool:mainfrom
lyfar:lyfar/erdos132-3chain-empty
Aug 25, 2026
Merged

Formalize the geometric 3-chain support theorem for planar point sets#345
Vilin97 merged 10 commits into
LeanPool:mainfrom
lyfar:lyfar/erdos132-3chain-empty

Commits

  1. Commits on Aug 22, 2026

  2. Commits on Aug 24, 2026

  3. Commits on Aug 25, 2026