Logipedia-Jumb

nat.minus_plus

cong.let_clause_73

div_mod.div_aux

nat.eq_leb

nat.not_lt_to_le

nat.axiom_eqb_body_S

nat.minus_body

cong.congruent_to_divides

gcd.divides_gcd_r

nat.eqb_elim