Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_closed_of_closure_subset

Modification history

2019-01-02 10:12
analysis/topology/topological_space.lean
feat(analysis/topology): complete sets, minor modifications (#557)
Added is_closed_of_closure_subsetView on Github →