Theorem Submodule.mulMap_range

Modification history