Theorem GenContFract.conts_stable_of_terminated

Modification history