Drop a lemma, add a lemma - SemanticDiff

Commit

2 years ago

Drop a lemma, add a lemma

References

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

Author

urkud

urkud

Parents

Loading