P
Initializing...
The actual rational Picard scheme diamond is an internal group morphism · Prove2Me