Open WendaoLee opened 1 year ago
第八行 : “具体计算一个类型的阶”——“具体计算一个类型的秩”
第十一行少了个逗号: “forall 关键字限定的类型其中”——“forall 关键字限定的类型,其中”
第八行 : “具体计算一个类型的阶”——“具体计算一个类型的秩”
第十一行少了个逗号: “forall 关键字限定的类型其中”——“forall 关键字限定的类型,其中”