Theorem NonUnitalAlgHom.comp_mul'

Modification history

2025-11-04 08:07
Mathlib/Algebra/Algebra/Bilinear.lean
feat: convolution product on linear maps from a coalgebra to an algebra (#25183) …
Added NonUnitalAlgHom.comp_mul'View on Github →