Theorem generalized_continued_fraction.obtain_conts_b_of_denom
Modification history
2020-07-07 09:59
src/algebra/continued_fractions/translations.lean
feat(algebra/continued_fractions): add first set of approximation lemmas (#3218)
Deleted generalized_continued_fraction.obtain_conts_b_of_denomView on Github →