Logipedia-Jumb

exp.axiom_exp

relations.associative

nat.le_S_S

nat.sym_eq_times_body_S

nat.not_le_Sn_O

nat.minus_O_n

bool.notb

logic.eq_f

nat.not_eq_to_le_to_lt

nat.axiom_filter_nat_type_S