Theorem Int.toNat_add_toNat_neg_eq_nnnorm

Modification history

2023-03-13 15:40
Mathlib/Analysis/NormedSpace/Int.lean
feat: port Analysis.NormedSpace.Int (#2848)
Added Int.toNat_add_toNat_neg_eq_nnnormView on Github →