Closing Up Finitely Generated Ideals

Index file for the LeanPool.AndersonConjecture.Jensen.CloseUp directory: closing up finitely generated ideals (Heitmann, Lemma 4).