Theorem Real.Angle.coe_nat_mul_eq_nsmul

Modification history