Valuative criterion of properness

Redirect to:

• Proper morphism#Valuative criterion of properness