Theorem circle.injective_arg

Modification history