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






leanprover-community/mathlib,leanprover-community/mathlib