寄玉山典史

郑真，浙江鄞县人，字千之。洪武四年举人。官广信教授。治经学长于《春秋》。与兄郑驹、弟郑凤并以文学擅名。尝取诸家格言，著为集传集说集论。有《荥阳外史集》等。