Logipedia-Jumb

fermat.congruent_exp_pred_SO

fermat.congruent_pi

fermat.eq_fact_pi_p

fermat.permut_mod

fermat.prime_to_not_divides_fact