Theorem Coalgebra.TensorProduct.map_toLinearMap

Modification history

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