Theorem CategoryTheory.Bicategory.OplaxTrans.ComonadBicat.mkOfComonad_counit

Modification history