Recent comments Oct 25 2024: tag 0334 by Jonas Oct 25 2024: tag 09E2 by Jonas Oct 25 2024: tag 09E2 by Jonas Oct 25 2024: tag 09E2 by Jonas Oct 25 2024: tag 01R4 by George Cooper Recent commits 18 Sep 2024: Refer to preprint Gabber-Zavyalov 13 Sep 2024: Better flatness criterion 13 Sep 2024: Add missing hypothesis 12 Sep 2024: Another flatness criterion 12 Sep 2024: Improve the flatness criterion