Theorem GenContFract.first_cont_eq

Modification history