FormalConjectures/Wikipedia/NoThreeInLineProblem.lean
0 declarations, 0 contain sorry, 0 declared as axioms
No-three-in-line problem
This file is a Wikipedia-facing entry point for the formalization in
FormalConjectures.GreensOpenProblems.«72».
Reference: Wikipedia
No declarations listed.