《史记》卷四十八《陈涉世家》

陈胜者，阳城人也，字涉。……陈涉乃立为王，号为张楚。……腊月，陈王之汝阴，还至下城父，其御庄贾杀以降秦。陈胜葬砀，谥曰隐王。