Theorem GeneralizedContinuedFraction.of_s_tail

Modification history