∀ {K : Type u_1} [inst : DivisionRing K] {s : Stream'.Seq (GenContFract.Pair K)} {p : GenContFract.Pair K},
  s.head = some p → ∀ (n : ℕ), GenContFract.convs'Aux s (n + 1) = p.a / (p.b + GenContFract.convs'Aux s.tail n)