Theorem inner_smul_left

Modification history