Talk:Bass–Quillen conjecture