Translation Lemmas Between Functions Defined for Continued Fractions

Summary

Some simple translation lemmas between the different functions defined in algebra.continued_fractions.basic.