Theorem Bialgebra.TensorProduct.lid_tmul

Modification history

2025-05-28 21:49
Mathlib/RingTheory/Bialgebra/TensorProduct.lean
chore(RingTheory/HopfAlgebra): make tensor product heterobasic (#25171) …
Modified Bialgebra.TensorProduct.lid_tmulView on Github →
2024-10-27 19:43
Mathlib/RingTheory/Bialgebra/TensorProduct.lean
feat: tensor products of bialgebras (#11977) …
Added Bialgebra.TensorProduct.lid_tmulView on Github →