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.