Theorem GeneralizedContinuedFraction.zeroth_convergent'_aux_eq_zero

Modification history