Theorem GeneralizedContinuedFraction.abs_sub_convergents_le'

Modification history