Logipedia-Jumb

gcd.lt_O_gcd

nat.le_to_or_lt_eq

logic.sym_eq

nat.axiom_times

gcd.gcd_aux_body

cong.congruent_n_n

exp.sym_eq_exp

bigops.sub_lt

nat.not_lt_to_le

div_mod.sym_eq_mod_aux