Theorem Ideal.eq_top_iff_one

Modification history