Theorem GenContFract.terminates_iff_rat

Modification history