Theorem Circle.periodic_exp

Modification history