P
Initializing...
The same actual rational Picard scheme is smooth, proper, reduced and separated · Prove2Me