Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-18 14:10 3f9c4d88

View on Github →

chore(data/set): use Sort* in more lemmas (#1706) Also replace nonempty_of_nonempty_range with range_ne_empty_iff_nonempty and range_ne_empty. The old lemma is equivalent to range_ne_empty_iff_nonempty.mp.

Estimated changes