Theorem GenContFract.convs'Aux_succ_none

Modification history