《商君书·赏刑》：“ 汤 与 桀 战於 鸣条 之野， 武王 与 紂 战於 牧野 之中，大破九军……復马 华山 之阳，从牛於 农泽。”

蒋礼鸿 锥指：“《史记·周本纪》作‘从马於 华山 之阳，牧牛於 桃林 之虚。’《史记·乐书》：‘牛散 桃林 之野。’集解：‘ 徐广 曰：在 弘农县 ，今曰 桃丘 。’《书·武成》疏引 杜预 云：‘ 桃林 之塞，今 宏农 华阴县 潼关 是也。’此云 农泽 ，盖以 弘农 而称歟？”。”