No-three-in-line problem

This file is a Wikipedia-facing entry point for the formalization in FormalConjectures.GreensOpenProblems.«72».

Reference: Wikipedia