Mathlib

A 2×2 matrix sends every point to a new point, and sends lines to lines.