Theorem GeneralizedContinuedFraction.zeroth_convergent'_eq_h

Modification history