Theorem Ideal.exists_sub_one_mem_and_mem

Modification history