Theorem IsIdempotentElem.zero_compl

Modification history