Theorem IsIdempotentElem.one_compl

Modification history