feat(combinatorics/configuration): New file (#10773)
feat(combinatorics/configuration): New file (#10773)

This PR defines abstract configurations of points and lines, and provides some basic definitions. Actual results are in the followup PR.





leanprover-community/mathlib,leanprover-community/mathlib