Theorem Real.Angle.coe_int_mul_eq_zsmul

Modification history