Theorem Submodule.eq_bot_of_eq_pointwise_smul_of_mem_jacobson_annihilator

Modification history

2024-06-05 04:24
Mathlib/RingTheory/Nakayama.lean
Ring-specific lemmas about regular elements (#13360) …
Added Submodule.eq_bot_of_eq_pointwise_smul_of_mem_jacobson_annihilatorView on Github →