Theorem Submodule.mulMap_one_right_eq

Modification history