Adjoining Elements to N-subrings

Index file for the LeanPool.AndersonConjecture.Jensen.Adjoin directory: adjoining elements to N-subrings (Loepp, Jensen, Heitmann).