Theorem IsIdempotentElem.coe_powers

Modification history

2024-11-25 16:30
Mathlib/Algebra/Group/Submonoid/Membership.lean
feat: ring with discrete PrimeSpectrum (#18891) …
Added IsIdempotentElem.coe_powersView on Github →