Theorem InnerProductGeometry.angle_smul_left_of_pos

Modification history