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

Commit

4 years ago

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.

Author

tb65536

Parents

04aeb019

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

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