Theorem LocalizedModule.mk_smul_mk

Modification history