Theorem Submodule.pow_eq_bot

Modification history

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