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'