Theorem Circle.exp_neg

Modification history