《资治通鉴·陈纪·陈纪七》
己未，将武皇帝埋葬在孝陵，庙号高祖。
己未，葬武皇帝于孝陵，庙号高祖。
In Jiwei, Emperor Wu was buried in Xiaoling and was posthumously known as Gaozu.
<s>[INST] Translate to English, please: 己未，葬武皇帝于孝陵，庙号高祖。 [/INST] In Jiwei, Emperor Wu was buried in Xiaoling and was posthumously known as Gaozu.</s>
Translate to English, please: 己未，葬武皇帝于孝陵，庙号高祖。
user
In Jiwei, Emperor Wu was buried in Xiaoling and was posthumously known as Gaozu.
assistant