Theorem CategoryTheory.Bicategory.Comonad.comul_assoc_flip

Modification history