Theorem Submodule.comap_op_pow

Modification history