Theorem InnerProductGeometry.angle_nonneg

Modification history