历史上真的有李元霸这个人吗？还是叫李玄霸？

你好
有的
历史上的李元霸
本名李玄霸，字大德，
唐高祖李渊第三子，母窦皇后。后世因避讳清康熙帝玄烨名改称为李元霸。幼辩惠,隋大业十年薨，年十六，无子。武德元年，追封卫怀王，又赠秦州总管、司空。以太宗子李泰为宜都王，奉其祀，葬芷阳。后泰徙封越，更以宗室西平王李琼子保定嗣。薨，无子，国除。