appendStream'

Mathlib.Data.Stream.Defs

URI: https://scilib.ai/kg/mathlib#Stream'.appendStream'

Lean4

/-- Append a stream to a list. -/
def appendStream' : List α → Stream' α → Stream' α
  | [], s => s
  | List.cons a l, s => a :: appendStream' l s

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

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

Разделы

Аффилиация

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