Logipedia-Jumb

nat.match_nat_prop

permutation.sym_eq_invert_permut

nat.nat_case

nat.minus_plus

nat.lt_plus_Sn_r

permutation.sym_eq_invert_permut_body_S

nat.times_times

nat.axiom_minus

gcd.let_clause_1571

nat.le_plus_to_minus