Commit 2022-01-26 13:29 07d8ca6d
View on Github →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.
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.