Theorem nndist_smul_le

Modification history