研究文章
各种类的注意Compatible-Type双映射和不动点定理
|
| 如果 |
属性,非常 |
属性不能持有 |
|
|
|
(7)、(9)、(19) |
(8)、(14)、(15)、(16)、(17)、(20) |
|
|
|
(3)、(6)、(11)、(13)、(18)
(7)、(9)、(10)、(19) |
(2)、(4)、(5)、(12)
(8)、(14)、(15)、(16)、(17)、(20) |
|
|
|
(7)(8),(8)(9)、(10)(8)
(8)(17)、(19)(20)
(2),(3)(6),(5)(6)
(11)(12)、(12)(13) |
|
|
|
|
(2),(3)(6),(5)(6)
(11)(12)、(12)(13) |
|
|
|
