Theorem CategoryTheory.Bicategory.Comonad.comul_assoc

Modification history