Commit 2022-01-14 08:37 3c1740ac
View on Github →feat(combinatorics/configuration): Define the order of a projective plane (#11430) This PR defines the order of a projective plane, and proves a couple lemmas.
feat(combinatorics/configuration): Define the order of a projective plane (#11430) This PR defines the order of a projective plane, and proves a couple lemmas.