Theorem GenContFract.exists_rat_eq_nth_den

Modification history