Theorem Submodule.smul_bot'

Modification history