P
Initializing...
Actual represented Picard inverse pullback agrees with arithmetic field transport · Prove2Me