mathlib

3e5d90d9 - feat(algebra/continued_fractions) add determinant formula and approximations for error term (#6461)