Theorem Submodule.comap_op_mul

Modification history