Theorem Ideal.card_norm_le_eq_card_norm_le_add_one

Modification history