Theorem IsIdempotentElem.one_sub_iff

Modification history