Theorem Nat.range_succ_eq_Icc_zero

Modification history

2025-01-27 10:18
Mathlib/Order/Interval/Finset/Nat.lean
feat(NumberTheory/LSeries): results involving partial sums of coefficients (part 1) (#20661) …
Added Nat.range_succ_eq_Icc_zeroView on Github →