mathlib3
949e98e6 - chore(topology/basic): add missing lemma (#8048)

Commit

4 years ago

chore(topology/basic): add missing lemma (#8048) Adds `is_closed.sdiff`. From LTE.

Author

adamtopaz

Parents