uncurry₃ — Mathlib

English

Uncurrying a three-variable functor to a three-argument product functor

Русский

Раскуррирование трёхпеременного функторы в функтор с тремя аргументами в произведении

LaTeX

$$$\text{uncurry₃} : (C_1 \to C_2 \to C_3 \to E) \to (C_1 \times C_2 \times C_3) \to E$$$

Lean4

/-- Uncurrying a functor in three variables. -/
abbrev uncurry₃ : (C₁ ⥤ C₂ ⥤ C₃ ⥤ E) ⥤ C₁ × C₂ × C₃ ⥤ E :=
  currying₃.functor

Похожие утверждения