Def CategoryTheory.Bicategory.Comonad.ofOplaxFromUnit

Modification history