Theorem Submodule.mulMap_op

Modification history