Theorem InnerProductGeometry.angle_smul_left_of_neg

Modification history