Theorem GeneralizedContinuedFraction.squashGCF_nth_of_lt

Modification history