Commit 2020-01-15 15:04 b3ed6e61
View on Github →chore(*): use ne_
instead of neq_
in lemma names (#1878)
One exception: mem_sets_of_neq_bot
is now mem_sets_of_eq_bot
because it has an equality as an assumption.
Also add filter.infi_ne_bot_(iff_?)of_directed'
with a different
nonempty
assumption, and use it to simplify the proof of
lift_ne_bot_iff
.