Theorem Finsupp.counit_single

Modification history

2023-12-11 14:48

Mathlib/RingTheory/Coalgebra.lean

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

Modified Finsupp.counit_single View on Github →

2023-12-05 00:40

Mathlib/RingTheory/Coalgebra.lean

feat(RingTheory): coalgebra definition (#8621) …

Added Finsupp.counit_single View on Github →