展开 北京矿业大学就是中国矿业大学吗