Theorem CategoryTheory.Bicategory.OplaxTrans.ComonadBicat.mkOfComonad_hom

Modification history