Theorem Submodule.exists_isInternal_prime_power_torsion_of_pid

Modification history