Def CategoryTheory.Bicategory.OplaxTrans.ComonadBicat

Modification history