Theorem GenContFract.of_terminates_iff_of_rat_terminates

Modification history