Theorem Ideal.pi_le_pi_iff

Modification history