mathlib3

6838233f - 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.