Theorem InnerProductGeometry.angle_neg_neg

Modification history