Valuative criterion of properness

From Free net encyclopedia