Mathlib v3 is deprecated. Go to Mathlib v4

Theorem closure_eq_interior_union_frontier

Modification history

2020-07-29 08:21
src/topology/basic.lean
feat(topology): assorted topological lemmas (#3619) …
Added closure_eq_interior_union_frontierView on Github →