Logipedia-Jumb

connectives.equal_leibniz

fermat.permut_mod

permutation.axiom_invert_permut_body_S

bigops.ACop

nat.axiom_match_nat_type_S

connectives.ex

bool.bool

nat.axiom_plus

bigops.timesA

nat.sym_eq_times_body_S