P
Initializing...
Preimages of definable sets are definable · Prove2Me