Def CoalgEquiv.toCoalgebra

Modification history