Theorem isPrincipalIdealRing_pi_iff

Modification history