Theorem GeneralizedContinuedFraction.zeroth_convergent_eq_h

Modification history