Theorem circleEquivGen_apply

Modification history