P
Initializing...
Infinite definable sets contain intervals · Prove2Me