Theorem Coalgebra.TensorProduct.lid_tmul

Modification history

2025-05-26 13:39
Mathlib/RingTheory/Coalgebra/TensorProduct.lean
chore(RingTheory/HopfAlgebra): redo tensor product (#25196) …
Modified Coalgebra.TensorProduct.lid_tmulView on Github →
2024-09-10 16:36
Mathlib/RingTheory/Coalgebra/TensorProduct.lean
feat: tensor products of coalgebras (#11975) …
Added Coalgebra.TensorProduct.lid_tmulView on Github →