Theorem InnerProductGeometry.angle_zero_right

Modification history