Commit 2022-10-12 13:05 5ef85df4
View on Github →feat(topology/basic): add is_closed.interior_union
and is_closed.interior_union'
(#16599)
<del>closure_inter_open
will be renamed to is_open.closure_inter
in #16598</del> Already merged.
Would it be better to add some lemmas like interior (s ∪ t) = interior (s ∪ interior t)
?