Theorem GeneralizedContinuedFraction.terminates_of_rat

Modification history