feat(combinatorics/configuration): Sum of line counts equals sum of point counts (#11026)
feat(combinatorics/configuration): Sum of line counts equals sum of point counts (#11026)

Counting the set `{(p,l) : P × L | p ∈ l}` in two different ways.





leanprover-community/mathlib,leanprover-community/mathlib