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.