Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-23 09:40 ab20b5ff

View on Github →

style(analysis/topology/continuity): minor reorganizations

Estimated changes

modified theorem closure_subtype
modified theorem embedding.tendsto_nhds_iff