Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-06-15 05:11 fba4d892

View on Github →

fix(analysis/topology/continuity): remove unused code

Estimated changes

modified theorem continuous_apply