Logipedia-Jumb

bool.notb

cong.eq_times_plus_to_congruent

primes.divides_to_dividesb_true

nat.eq_leb_body_O

nat.sym_eq_minus_body_O

nat.le_plus_b

nat.eq_leb_body_S

bigops.bigop_Sfalse

nat.nat

bool.axiom_match_bool_type_true