Theorem CategoryTheory.Bicategory.Comonad.counit_comul

Modification history