Topological Quillen Localization And Homotopy Pro-Nilpotent Structured Ring Spectra