Theorem Submodule.submoduleOf_sup_of_le

Modification history

2025-05-03 07:23
Mathlib/Algebra/Module/Submodule/Range.lean
feat(Algebra): finiteness of associated primes (#24242) …
Added Submodule.submoduleOf_sup_of_leView on Github →