Commit 2023-05-04 09:12 d8de9b77

View on Github →

feat: port Algebra.ContinuedFractions.TerminatedStable (#3792)

Estimated changes

Modified Mathlib.lean

Created Mathlib/Algebra/ContinuedFractions/TerminatedStable.lean

added theorem GeneralizedContinuedFraction.continuantsAux_stable_of_terminated

added theorem GeneralizedContinuedFraction.continuantsAux_stable_step_of_terminated

added theorem GeneralizedContinuedFraction.continuants_stable_of_terminated

added theorem GeneralizedContinuedFraction.convergents'Aux_stable_of_terminated

added theorem GeneralizedContinuedFraction.convergents'Aux_stable_step_of_terminated

added theorem GeneralizedContinuedFraction.convergents'_stable_of_terminated

added theorem GeneralizedContinuedFraction.convergents_stable_of_terminated

added theorem GeneralizedContinuedFraction.denominators_stable_of_terminated

added theorem GeneralizedContinuedFraction.numerators_stable_of_terminated

added theorem GeneralizedContinuedFraction.terminated_stable