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
.