mathlib3
e2edba53 - chore(order/filter/basic): make `filter.univ_mem_sets` a `simp` lemma (#5464)

Commit

5 years ago

chore(order/filter/basic): make `filter.univ_mem_sets` a `simp` lemma (#5464)

Author

urkud

urkud

Parents

Loading