Theorem CategoryTheory.Bicategory.OplaxTrans.ComonadBicat.mkOfComonad_comul

Modification history