Theorem Submodule.map_op_one

Modification history