Mathlib v3 is deprecated. Go to Mathlib v4

Theorem configuration.has_points.exists_unique_point

Modification history

2021-12-17 12:31
src/combinatorics/configuration.lean
feat(combinatorics/configuration): New file (#10773) …
Added configuration.has_points.exists_unique_pointView on Github →