Theorem Circle.injective_arg

Modification history