Theorem Ideal.eq_top_of_unit_mem

Modification history