Anderson's Theorems 3–5 on (Weak) Quasi-Completeness

Index file for the LeanPool.AndersonConjecture.QuasiCompleteRing directory: Anderson's Theorems 3–5 characterising (weak) quasi-completeness.