Theorem Real.two_mul_arctan

Modification history