《元史》

元成宗大德二年十二月甲戌，彗出子孫星下。