Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-09 13:55 9d47b28b

View on Github →

feat(data): Mark all sqrts as @[pp_nodot] (#3337)

Estimated changes

modified def int.sqrt
modified def nat.sqrt
modified def rat.sqrt