Theorem IsIdempotentElem.coe_zero

Modification history