Def CategoryTheory.Bicategory.OplaxTrans.ComonadBicat.mkOfComonad

Modification history