mathlib3
f15887a1 - chore(docs/100.yaml): mention "Erdős–Szekeres" by name (#7353)

Commit

4 years ago

chore(docs/100.yaml): mention "Erdős–Szekeres" by name (#7353)

Author

benjamindavidson

benjamindavidson

Parents

Loading