Theorem Circle.leftInverse_exp_arg

Modification history