Theorem IsIdempotentElem.of_isIdempotent

Modification history