Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-21 12:26 4a09c733

View on Github →

feat(topology/basic): a condition implying that a sequence of functions locally stabilizes (#15580) For sphere-eversion-project.

Estimated changes