mathlib

a853a6ae - feat(analysis/normed_space): nnreal.coe_nat_abs (#7911)