Assertion: inversion's inverse | /r/HasProperty | concentric circle
Facets:
value: with radius r2/a
type: OTHER
value: with radius
type: OTHER
Source sentences:
text: If C is at O then the inverse of c is a concentric circle with radius r2/a;
text: If A is at O then the inverse of sphere{A, a} is a concentric sphere with radius r2/a; (Trivially, if a = r, then every point on {A, a} is self-inverse.)