Theorem Submodule.smul_bot

Modification history