Def CoalgEquiv.toCoalgIso

Modification history