七年，乐池相秦。韩、赵、魏、燕、齐帅匈奴共攻秦。秦使庶长疾与战修鱼，虏其将申差，败赵公子渴、韩太子奂，斩首八万二千。——————————————《秦本纪》
哀王元年，五国共攻秦，【正义】：（韩、魏、楚、赵、燕也）。不胜而去。————————————————《魏世家》
十六年，秦败我修鱼，虏得韩将宧、申差於浊泽。——————————————《韩世家》
秦惠文王更元八年，与韩战，斩首八万。韩宣惠王十六年，秦败我修鱼，得将军申差。——————————————《六国年表》
九年，与韩、魏共击秦，秦败我，斩首八万级。齐败我观泽————————————《赵世家》