Theorem Submodule.span_pow

Modification history