Theorem Nat.range_mul_add

Modification history

2024-03-07 16:36
Mathlib/Data/ZMod/Basic.lean
feat: sums over residue classes (#11189) …
Added Nat.range_mul_addView on Github →