孙悟空大战天蓬元帅

1. 孙悟空与天蓬元帅确实有过一场战斗。

2. 在《西游记》中，天蓬元帅未能成功制服孙悟空。

3. 猪八戒在后来的故事中曾提到孙悟空大闹天宫时，天蓬元帅也参与了这场混战。