Theorem Ideal.isIdempotentElem_iff_of_fg

Modification history