Def continuous_multilinear_map.smul_right

Modification history