Theorem GenContFract.nums_stable_of_terminated

Modification history