Def CategoryTheory.Bicategory.OplaxTrans.ComonadBicat.toOplax

Modification history