Generic freeness lemma: Difference between revisions