郑典

郑典，字子韶，余姚人。有《友陶居士诗集》。