mapAccumr_nil

Mathlib.Data.Vector.Snoc

URI: https://scilib.ai/kg/mathlib#List.Vector.mapAccumr_nil

English

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

Русский

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

LaTeX

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

Lean4

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

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

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

Разделы

Аффилиация

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