P
Initializing...
Theoretical domains are closed under countable conjunction · Prove2Me