Logipedia-Jumb

nat.sym_eq_minus

logic.eq_coerc

gcd.divides_gcd_r

nat.eq_times_body_O

fact.axiom_fact

gcd.eq_minus_gcd

permutation.let_clause_1068

permutation.injn_Sn_n

nat.le_plus

gcd.lt_O_gcd