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

An inequality between `point_count` and `line_count`.





leanprover-community/mathlib,leanprover-community/mathlib