no goals
α : Type u_1
g : GeneralizedContinuedFraction α
n : ℕ
⊢ Stream'.Seq.get? (partialNumerators g) n = none ↔ Stream'.Seq.get? g.s n = none
cases s_nth_eq : g.s.get? n <;> simp [partialNumerators, s_nth_eq]