Theorem Submodule.pow_eq_npowRec

Modification history