Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-05-26 16:13 62748956

View on Github →

fix: missing continuity attribute (#19104)

Estimated changes