Theorem TensorProduct.Algebra.linearMap_comp_mul'

Modification history

2025-02-12 21:23
Mathlib/RingTheory/TensorProduct/Basic.lean
feat: tensor products of Hopf algebras (#12009) …
Added TensorProduct.Algebra.linearMap_comp_mul'View on Github →