The chromatic number of the plane is at least 5 -- a human-verifiable proof

From MaRDI portal
Publication:3387384