Theorem GeneralizedContinuedFraction.zeroth_numerator_eq_h

Modification history