郑义真
郑义真，高宗时人。