Logipedia-Jumb

permutation.eq_to_bijn

div_mod.sym_eq_mod_aux

permutation.permut_invert_permut

bool.bool_discr

connectives.ex

div_mod.let_clause_1078

nat.sym_eq_times

nat.eqb_n_n

nat.times_times

nat.eq_times_body_S