mathlib
c7ba50f4 - feat(set_theory/cofinality): more infinite pigeonhole principles

Commit

4 years ago

feat(set_theory/cofinality): more infinite pigeonhole principles

Author

kim-em

kim-em

Parents

Loading