Theorem IsIdempotentElem.eq_zero_of_isNilpotent

Modification history