Logipedia-Jumb

logic.absurd

permutation.invert_permut_body

nat.le

permutation.let_clause_1063

nat.transitive_lt

nat.eqb_elim

gcd.divides_mod_to_divides

nat.sym_eq_leb_body_S

nat.sym_eq_leb_body_O

fermat.prime_to_not_divides_fact