Theorem CategoryTheory.Bicategory.Comonad.comul_counit

Modification history