Theorem InnerProductGeometry.cos_eq_neg_one_iff_angle_eq_pi

Modification history