mathlib
610fab7a - feat(set_theory/cofinality): more infinite pigeonhole principles (#7879)

Commit

4 years ago

feat(set_theory/cofinality): more infinite pigeonhole principles (#7879) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents