Theorem Submodule.coe_set_neg

Modification history