Logipedia-Jumb

gcd.axiom_gcd_aux_body_S

nat.eq_filter_nat_type_S

nat.monotonic_le_plus_l

primes.match_divides_prop

relations.distributive

nat.assoc_plus1

permutation.bijn_transpose

nat.eqb_elim

nat.not_eq_O_S

nat.minus_minus_comm