Talk:Koszul–Tate resolution