Theorem GeneralizedContinuedFraction.first_continuant_aux_eq_h_one

Modification history