Theorem Submodule.smul_sup'

Modification history