Theorem GeneralizedContinuedFraction.first_numerator_eq

Modification history