Theorem Circle.exp_int_mul_two_pi

Modification history