Theorem Ideal.pow_eq_bot

Modification history

2026-06-22 14:05
Mathlib/RingTheory/Ideal/Operations.lean
feat(RingTheory/Ideal/Operations): `pow_eq_bot` (#40836) …
Added Ideal.pow_eq_botView on Github →