Theorem Coalgebra.rTensor_counit_comul

Modification history

2023-12-05 00:40
Mathlib/RingTheory/Coalgebra.lean
feat(RingTheory): coalgebra definition (#8621) …
Added Coalgebra.rTensor_counit_comulView on Github →