mathlib3
feat(order/filter,topology/instances/nnreal): upgrade some lemmas to `iff`
#18964

Open

Commits

Snapshot

urkud committed 3 years ago
Merge branch 'master' into YK-comap-ite

urkud committed 2 years ago
Update

urkud committed 2 years ago
Drop a lemma, add a lemma

urkud committed 2 years ago

Loading