Commit 2022-01-13 07:08 e839c9ae
View on Github →feat(combinatorics/configuration): Cardinality results for projective plane. (#11406)
This PR proves several cardinality results for projective planes (e.g., number of points = number of lines, number of points on given line = number of lines on given point).
It looks like the exists_config (whose sole purpose is to rule out the 7th example here) can be weakened slightly.