你即將離開本站

並前往https://leanprover-community.github.io/mathlib_docs/init/function.html

core / init.function - mathlib docs - Lean community

def function.dcomp {α : Sort u₁} {β : α → Sort u₂} {φ : Π {x : α}, β x → Sort u₃} (f : Π {x : α} (y : β x), φ y) (g : Π (x : α), β x) (x : α) :.

確定！ 回上一頁

查詢 「Html init function」的人也找了：

  1. Html init function
    2.
  2. JavaScript init function
    3.
  3. jQuery init function
    4.
  4. Golang init function
    5.
  5. Windowonload init
    6.
  6. Python init
    7.
  7. JavaScript Object init
    8.
  8. JavaScript function declaration
    9.