Theorem Multipliable.sum

Modification history

2025-02-13 16:03
Mathlib/Topology/Algebra/InfiniteSum/Constructions.lean
feat: `HasProd` on sum types (#21683)
Added Multipliable.sumView on Github →