Theorem Submodule.mulMap_tmul

Modification history