Logipedia-Jumb

gcd.let_clause_1545

nat.le_plus_b

nat.le_plus_n_r

nat.filter_nat_type

cong.let_clause_73

div_mod.div_aux_body

permutation.transpose_i_j_j

div_mod.sym_eq_mod_aux

cong.congruent_n_mod_n

nat.le_to_not_lt