Theorem GenContFract.squashSeq_nth_of_not_terminated

Modification history