Theorem GenContFract.dens_stable_of_terminated

Modification history