basic): add lemma `comp_open_symm_mem_uniformity_sets` (#9981)

Commit

4 years ago

feat(topology/uniform_space/basic): add lemma `comp_open_symm_mem_uniformity_sets` (#9981)

Author

ocfnash

Parents