Theorem Pell.x_sub_y_dvd_pow_lem

Modification history