P
Initializing...
A generic hyperplane section over a countable model is a domain · Prove2Me