Theorem Coalgebra.TensorProduct.lid_symm_apply

Modification history

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