Theorem LinearMap.toSpanSingleton_convMul_toSpanSingleton

Modification history

2025-11-04 08:07
Mathlib/RingTheory/Coalgebra/Convolution.lean
feat: convolution product on linear maps from a coalgebra to an algebra (#25183) …
Added LinearMap.toSpanSingleton_convMul_toSpanSingletonView on Github →