Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-14 07:23 a853a6ae

View on Github →

feat(analysis/normed_space): nnreal.coe_nat_abs (#7911) from LTE

Estimated changes

added theorem nnreal.coe_nat_abs