Theorem GenContFract.exists_s_b_of_partDen

Modification history