你即將離開本站

並前往https://agda.github.io/agda-stdlib/Function.Bijection.html

Function.Bijection

The -- module `Function` re-exports `Bijective`, `IsBijection` and -- `Bijection`. The alternative definitions found in this file will -- eventually be ...

確定！ 回上一頁

查詢 「Bijection」的人也找了：

  1. bijection定義
    2.
  2. bijection中文
    3.
  3. Bijection
    4.
  4. bijection數學
    5.
  5. Surjection
    6.
  6. surjection中文
    7.
  7. Injective
    8.
  8. Determine whether the function f B → B is a bijection
    9.