Logipedia-Jumb

bool.bool

nat.times_O_n

nat.monotonic_le_times_r

div_mod.axiom_mod_aux

gcd.let_clause_15491

nat.times_Sn_m

bool.notb

connectives.Not_ind

bigops.sub0_to_false

primes.not_divides_to_dividesb_false