Logipedia-Jumb

logic.eq_ind

bool.true

nat.lt

nat.nat

logic.sym_eq

nat.sym_eq_plus_body_O

nat.le_n_O_to_eq

nat.sym_eq_match_nat_type_O

nat.le_times

primes.decidable_divides