Logipedia-Jumb

fact.fact

permutation.injn

nat.axiom_leb_body_S

nat.plus_n_Sm

primes.eq_mod_to_divides

relations.transitive

nat.eq_plus_body_O

bigops.bigop_diff

logic.eq_rect_r

nat.le_S_S