mathlib

2a380976 - feat(combinatorics/configuration): Define projective planes (#11390)

feat(combinatorics/configuration): Define projective planes (#11390) This PR defines abstract projective planes and their duals. More will be PRed later. Co-authored-by: Johan Commelin <johan@commelin.net>