Theorem Finsupp.comul_comp_lapply

Modification history

2023-12-11 14:48

Mathlib/RingTheory/Coalgebra.lean

feat(RingTheory/Coalgebra): generalize the `Finsupp` instance (#8868) …

Added Finsupp.comul_comp_lapply View on Github →