Theorem GenContFract.of_s_head_aux

Modification history