mathlib

9801c1c0 - feat(continued_fractions) add stabilisation under termination lemmas (#2451)

feat(continued_fractions) add stabilisation under termination lemmas (#2451) - continued fractions: add lemmas for stabilisation of computations under termination and add them to default exports - seq: make argument in seq.terminated_stable explicit