Theorem Circle.exp_sub

Modification history