餘鎖_(cochain)