【介绍】： 元真定人，字庭训。由儒学教授，迁太常博士，礼文多所详定。成宗贞元元年，拜监察御史，弹劾无所回挠。大德初，改国子司业卒。