mathlib

53533697 - feat(combinatorics/configuration): Line count equals point count (#11169)

feat(combinatorics/configuration): Line count equals point count (#11169) In a configuration satisfying `has_lines` or `has_points`, if the number of points equals the number of lines, then the number of lines through a given point equals the number of points on a given line.