Theorem IsIdempotentElem.iff_eq_zero_or_one

Modification history