Theorem IsIdempotentElem.one_sub

Modification history