P
Initializing...
Avoiding finitely many points and affine lines in an open planar set · Prove2Me