Logipedia-Jumb

nat.eq_minus_body_O

div_mod.div_aux

nat.lt_S_to_lt

nat.le_pred_n

nat.minus_plus_m_m

nat.match_nat_type

permutation.axiom_invert_permut

bool.bool

nat.sym_eq_eqb_body_S

nat.associative_times