mathlib

3c1740ac - feat(combinatorics/configuration): Define the order of a projective plane (#11430)

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. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>