Theorem Ideal.exists_finset_card_eq_height_of_isNoetherianRing

Modification history