Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-07-12 18:02 8dda9cdc

View on Github →

fix(analysis/topology/continuity): remove an extraneous constraint

Estimated changes