Theorem IsIdempotentElem.coe_powers

Modification history