Theorem Ideal.height_le_spanRank_toENat

Modification history