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'`
