Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-02 22:04 10f6c2c4

View on Github →

feat(data/real/nnreal): cast_nat_abs_eq_nnabs_cast (#8121)

Estimated changes