On the General Linear Group over Polynomial Rings. - Johnson, Francis E. A. (Mathematics (2227-7390), 2026)