mathlib3
a52ce83e - feat(combinatorics/configuration): The order of a projective plane is at least 2 (#11550)
Commit
View On GitHub
Commit
3 years ago
feat(combinatorics/configuration): The order of a projective plane is at least 2 (#11550) This PR proves that the order of a projective plane is strictly larger than 1.
Author
tb65536 tb65536
Parents
9150268c
FAQ Terms Privacy Refunds Impressum
Loading