Def CoalgCat.comonEquivalence

Modification history