Theorem Circle.exp_two_pi_mul_int

Modification history