Theorem Submodule.mul_eq_bot

Modification history

2026-04-15 23:53
Mathlib/Algebra/Algebra/Operations.lean
feat(Algebra/Algebra/Operations): add `Submodule.mul_eq_bot` (#37626) …
Added Submodule.mul_eq_botView on Github →