Theorem GeneralizedContinuedFraction.squashSeq_succ_n_tail_eq_squashSeq_tail_n

Modification history