Theorem InnerProductGeometry.angle_smul_right_of_neg

Modification history