Theorem GeneralizedContinuedFraction.le_of_succ_succ_get?_continuantsAux_b

Modification history