Theorem Submodule.map_op_pow

Modification history