Mathlib v3 is deprecated. Go to Mathlib v4

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'

Estimated changes