Theorem InnerProductGeometry.angle_smul_right_of_pos

Modification history