Mathlib Changelog
v4
Changelog
About
Github
Theorem
Coalgebra.lTensor_counit_comul
Modification history
2023-12-05 00:40
Mathlib/RingTheory/Coalgebra.lean
feat(RingTheory): coalgebra definition (#8621) …
Added
Coalgebra.lTensor_counit_comul
View on Github →