Transfinite Construction of the Final Ring

Index file for the LeanPool.AndersonConjecture.Jensen.Construction directory: the transfinite construction assembling the final ring.