Theorem IsIdempotentElem.zero

Modification history