Generic flatness lemma: Difference between revisions