2020-06-14 09:10
src/algebra/continued_fractions/computation/correctness_terminating.lean
feat(algebra/continued_fractions): add correctness of terminating computations (#2911) …
Added generalized_continued_fraction.of_correctness_at_top_of_terminates