Theorem Submodule.pow_mem_pow

Modification history