Theorem Coalgebra.TensorProduct.rid_symm_apply

Modification history

2025-05-28 21:49
Mathlib/RingTheory/Coalgebra/TensorProduct.lean
chore(RingTheory/HopfAlgebra): make tensor product heterobasic (#25171) …
Modified Coalgebra.TensorProduct.rid_symm_applyView on Github →
2024-09-10 16:36
Mathlib/RingTheory/Coalgebra/TensorProduct.lean
feat: tensor products of coalgebras (#11975) …
Added Coalgebra.TensorProduct.rid_symm_applyView on Github →