辞海

释义：zhèng gōng tīng lǚ
1.同"郑履"。