Logipedia-Jumb

primes.prime_to_lt_SO

permutation.permut_to_bijn

leibniz.sym_leibniz

nat.minus_plus

nat.lt_plus_Sn_r

nat.nat_elim2

exp.exp

connectives.False

permutation.bijn_fg

exp.axiom_exp_body_O