mathlib3

8a997f3f - feat(combinatorics/configuration): Inequality between `point_count` and `line_count` (#11036)