Theorem CoalgEquiv.coe_symm_toLinearEquiv

Modification history