Theorem GenContFract.partNum_eq_s_a

Modification history