你即將離開本站

並前往https://chaoli.club/index.php/5696/0

COQ与类型论 - 超理论坛

... 是集合，另一个则是性质(Propersition)，而在类型论中只有一个基本记号 ... 给定两个Type$A,B$，我们构造一个函数Type:$A\to B$，其中他的定义域 ...

確定！ 回上一頁

查詢 「集合 構造 記號」的人也找了：

  1. 集合 A-B
    2.
  2. 集合元素
    3.
  3. 集合符號
    4.
  4. 集合描述法
    5.
  5. 空集合
    6.
  6. 餘集合
    7.
  7. N(A 集合)
    8.
  8. 集合論
    9.