mathlib

07d8ca6d - feat(combinatorics/configuration): Formula for cardinality of a projective plane (#11462)

feat(combinatorics/configuration): Formula for cardinality of a projective plane (#11462) This PR proves the formula for the cardinality of a projective plane in terms of the order. Co-authored-by: Johan Commelin <johan@commelin.net>