The demonstration of basic theoretical problem for phase diagram calculation

• 计算相图基础理论问题的证明