Go back to the tag's page.
Tags: Added new tags
Formally smooth maps are flat The Noetherian local case (not finite type).