Theorem Submodule.set_smul_bot

Modification history