Theorem Pell.modEq_of_xn_modEq

Modification history