Theorem GeneralizedContinuedFraction.zeroth_continuant_aux_eq_one_zero

Modification history