Theorem Finsupp.counit_comp_lsingle

Modification history

2023-12-11 14:48
Mathlib/RingTheory/Coalgebra.lean
feat(RingTheory/Coalgebra): generalize the `Finsupp` instance (#8868) …
Added Finsupp.counit_comp_lsingleView on Github →