mathlib
379b72c4 - feat(topology/basic): add lemmas about `filter.lift' _ closure` (#15653)

Commit

3 years ago

feat(topology/basic): add lemmas about `filter.lift' _ closure` (#15653) Use these lemmas to golf some proofs about `uniformity`.

Author

urkud

Parents