与恭字行己，号懒禅，上虞人。馀姚九功寺僧。