Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-16 13:09 162221fd

View on Github →

chore(set_theory/*): use is_empty α instead of ¬nonempty α (#8276) Split from #7826

Estimated changes

modified theorem cardinal.sup_eq_zero