Logipedia-Jumb

nat.minus_O_n

nat.injective_S

connectives.conj

nat.times_n_Sm

logic.trans_eq

gcd.axiom_gcd_aux

gcd.let_clause_1572

gcd.not_divides_to_gcd_aux

nat.eq_leb_body_S

nat.eq_eqb_body_S