Theorem Circle.exp_sub_two_pi

Modification history