mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Miracle Flatness and Zariski's Main Theorem

Open adomani opened this issue 5 years ago • 0 comments

Two useful results to have in mathlib are

  1. the Miracle Flatness Lemma,
  2. Zariski's Main Theorem.

Also, the Appendices of Bjorn Poonen's Rational points on varieties, especially Appendix C contain lots of relevant material on the web of implications among properties of morphisms.

adomani avatar Sep 01 '20 06:09 adomani