Theorem Coalgebra.Repr.convMul_apply

Modification history

2026-06-02 12:40
Mathlib/RingTheory/Coalgebra/Convolution.lean
refactor(RingTheory/Coalgebra): make the indexing type of `Repr` an argument (#40055) …
Modified Coalgebra.Repr.convMul_applyView on Github →
2026-02-10 22:14
Mathlib/RingTheory/Coalgebra/Convolution.lean
refactor: add type synonym for convolutive product of linear maps and intrinsic star (#34945) …
Modified Coalgebra.Repr.convMul_applyView on Github →
2025-11-04 08:07
Mathlib/RingTheory/Coalgebra/Convolution.lean
feat: convolution product on linear maps from a coalgebra to an algebra (#25183) …
Added Coalgebra.Repr.convMul_applyView on Github →