mapAccumr₂_nil

Mathlib.Data.Vector.Snoc

URI: https://scilib.ai/kg/mathlib#List.Vector.mapAccumr₂_nil

English

mapAccumr₂ f Vector.nil Vector.nil s = (s, Vector.nil).

Русский

mapAccumr₂ f Vector.nil Vector.nil s = (s, Vector.nil).

LaTeX

$$$\text{mapAccumr₂ } f Vector.nil Vector.nil s = (s, Vector.nil)$$$

Lean4

@[simp]
theorem mapAccumr₂_nil {f : α → β → σ → σ × φ} : mapAccumr₂ f Vector.nil Vector.nil s = (s, Vector.nil) :=
  rfl

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru