P
Initializing...
A definable subset of the line has finitely many boundary points · Prove2Me