Theorem star_sum

Modification history

2023-08-10 19:52

Mathlib/Algebra/Star/BigOperators.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified star_sum View on Github →

2023-01-18 17:17

Mathlib/Algebra/Star/BigOperators.lean

feat port: Algebra.Star.BigOperators (#1648)

Added star_sum View on Github →