Theorem IsIdempotentElem.compl_compl

Modification history