Mathlib v3 is deprecated. Go to Mathlib v4

Theorem bounded_continuous_function.abs_self_eq_nnreal_part_add_nnreal_part_neg

Modification history