Theorem GeneralizedContinuedFraction.abs_sub_convergents_le

Modification history