Theorem InnerProductGeometry.angle_zero_left

Modification history