Theorem GenContFract.of_partNum_eq_one

Modification history