Theorem Int.natAbs_sum_le

Modification history

2026-02-27 17:29
Mathlib/Algebra/BigOperators/Group/Finset/Basic.lean
chore: rename nat_abs_sum_le (#35309)
Added Int.natAbs_sum_leView on Github →