Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-02-23 00:41 63fa61db

View on Github →

fix(analysis/specific_limits): remove useless assumption (#751)

Estimated changes