Theorem InnerProductGeometry.angle_self

Modification history