辞海

释义：jiàn liè chén
1.指汉司马相如。