Theorem GenContFract.terminatedAt_iff_s_terminatedAt

Modification history