Theorem GeneralizedContinuedFraction.second_continuant_aux_eq

Modification history