Go back to the tag's page.
Use lemma from 320b32f
Tags: Added new tags
Elminate indeterminacy rational maps (if the target is proper)