Theorem Ideal.exists_spanRank_eq_and_height_eq

Modification history