Commit 2023-12-27 05:26 c7483a35

feat: In a ring, sets act on submodules (#7140) If $M$ is an $R$-module, $N$ a submodule and $S$ a subset of $R$. Then we can define $S \cdot N$ to be the smallest submodule containing all $s \cdot n$ where $s \in S$ and $n \in N$