Commit 2021-05-24 19:29 51526aef
View on Github →chore(topology): rename mem_nhds_sets and mem_of_nhds and mem_nhds_sets_iff (#7690)
Rename mem_nhds_sets to is_open.mem_nhds, and mem_nhds_sets_iff to mem_nhds_iff, and mem_of_nhds to mem_of_mem_nhds.