Text this: Quillen–Suslin Theorem for Connected Cochain DG Algebras.