Theorem Submodule.pow_smul_top_le

Modification history