Go back to the tag's page.
Use an earlier lemma
Tags: Added new tags Also fixed a few references
Proper birational iso over codim 1 Took some setting up, but now we have it