Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-29 14:28 23ee7ea7

View on Github →

feat(analysis/normed_space/basic): int.norm_eq_abs (#8117)

Estimated changes

added theorem int.norm_eq_abs