Commit 2022-09-23 04:37 39723052
View on Github →chore(topology/basic): rename lemmas (#16598)
interior_eq_iff_open -> interior_eq_iff_is_open, it's dual lemma closure_eq_iff_is_closed renamed in #4
subset_interior_iff_open -> subset_interior_iff_is_open
subset_interior_iff_subset_of_open -> is_open.subset_interior_iff, it's dual lemma is_closed.closure_subset_iff renamed in #3251
closure_inter_open -> is_open.closure_inter
closure_inter_open' -> is_open.closure_inter'