Theorem List.sum_int_mod

Modification history

2023-02-25 06:35

Mathlib/Data/List/BigOperators/Basic.lean

feat: add/generalize lemmas about `WithTop`/`WithBot` (#2406) …

Added List.sum_int_mod View on Github →