Theorem CoalgEquiv.toCoalgIso_refl

Modification history