Theorem Submodule.isInternal_prime_power_torsion

Modification history