Koszul–Tate complex