Logipedia-Jumb

permutation.permut

nat.minus_le_minus_minus_comm

primes.divides_n_n

div_mod.axiom_div_aux_body_O

logic.eq

div_mod.sym_eq_mod_aux_body_O

connectives.I

bool.andb_true_r

nat.le_plus_to_le

nat.commutative_times