Logipedia-Jumb

logic.eq_ind_r

cong.let_clause_1034

nat.eq_leb_body_O

nat.le_S

nat.minus_to_plus

nat.monotonic_lt_times_r

logic.rewrite_l

bool.true_or_false

nat.monotonic_le_minus_l

primes.divides_to_le