Theorem InnerProductSpace.Core.inner_smul_right

Modification history