Theorem InnerProductGeometry.angle_self_neg_of_nonzero

Modification history