Theorem InnerProductGeometry.cos_angle

Modification history