Theorem Submodule.isInternal_prime_power_torsion_of_pid

Modification history