instRepr

Mathlib.Algebra.ContinuedFractions.Basic

URI: https://scilib.ai/kg/mathlib#GenContFract.Pair.instRepr

Lean4

/-- Make a `GenContFract.Pair` printable. -/
instance [Repr α] : Repr (Pair α) :=
  ⟨fun p _ ↦ "(a : " ++ repr p.a ++ ", b : " ++ repr p.b ++ ")"⟩

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

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

Разделы

Аффилиация

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