Theorem InnerProductGeometry.inner_eq_mul_norm_iff_angle_eq_zero

Modification history