第89章 啥？我的新室友是個小學生？

推導下去，是因為他意識到，這個方法在他的課題上並不適用。

在Green對應中，存在著一個比較隱蔽的適用邊界——它隻能保持單個模的性質，無法保持導出等價的提升性。