Jensen's Corollary 2.4: UFDs with Prescribed Completion

Index file for the LeanPool.AndersonConjecture.Jensen directory: constructing a UFD with a prescribed completion (Jensen 2006, building on Loepp 1997 and Heitmann 1993).