Theorem Real.Angle.abs_cos_eq_of_two_nsmul_eq

Modification history