Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-08 17:02 cdc222da

View on Github →

chore(topology): add a few simple lemmas (#6580)

Estimated changes

Modified src/analysis/calculus/specific_functions.lean

Modified src/topology/continuous_on.lean

added theorem continuous_on.image_closure

Modified src/topology/separation.lean

added theorem compact_closure_of_subset_compact

added theorem image_closure_of_compact