Theorem IsIdempotentElem.coe_compl

Modification history