任郑

任郑，眉山（今属四川）人（《东林山志》卷二二）。