Theorem Ideal.height_le_iff

Modification history