Theorem LocalizedModule.smul'_mk

Modification history