Theorem Ideal.height_le_spanRank

Modification history