Krull Domain Intersections for the Two-Generator Coprime Case

Index file for the LeanPool.AndersonConjecture.Jensen.KrullDomain directory: Krull domain intersection for the two-generator coprime case.