Theorem CoalgEquiv.toCoalgIso_symm

Modification history