P
Initializing...
The actual generic diamond curve lift commutes with extension of the base field · Prove2Me