Def comonEquiv

Modification history