P
Initializing...
Reparametrizing a nondegenerate asymptotic operator does not leave its component · Prove2Me