Theorem GeneralizedContinuedFraction.of_s_head

Modification history