Logipedia-Jumb

primes.divides_to_dividesb_true

logic.eq_f

gcd.eq_gcd_aux

nat.times_body

connectives.equal_leibniz

bool.notb

permutation.f_invert_permut

nat.injective_S

nat.eq_eqb_body_S

nat.le_to_leb_true