Theorem inner_smul_right_eq_smul

Modification history