Theorem GenContFract.second_contAux_eq

Modification history