Theorem GeneralizedContinuedFraction.squashGCF_eq_self_of_terminated

Modification history