Theorem GeneralizedContinuedFraction.fib_le_of_continuantsAux_b

Modification history