Theorem inner_smul_real_left

Modification history