Theorem InnerProductGeometry.cos_eq_one_iff_angle_eq_zero

Modification history