Theorem circle_equiv_apply

Modification history