connectives

leibniz

logic

relations

bool

nat

div_mod

bigops

primes

cong

exp

fact

gcd

permutation

sigma_pi

fermat