抽象函数和代表不变量不取决于代表和抽象值空间的选择
我正在阅读 MIT 6.005 <a href="https://ocw...