Logipedia-Jumb

nat.eq_minus_S_pred

nat.eq_times_body_S

bigops.bigop_Sfalse

fermat.eq_fact_pi_p

nat.minus_S_S

nat.lt_times

logic.rewrite_l

gcd.divides_mod_to_divides

connectives.equal

nat.eq_plus_body_S