Commit 2021-12-17 12:31 6838233f
View on Github →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.
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.