P
Initializing...
A finite etale endomorphism of a nonempty connected scheme is surjective · Prove2Me