Logipedia-Jumb

logic.proj1

bool.false

logic.eq_rect_r

logic.trans_eq

logic.proj2

nat.le_plus_b

permutation.transpose

sigma_pi.exp_pi_bc

nat.le_to_le_to_eq

primes.divides_to_mod_O