Logipedia-Jumb

fact.axiom_fact_body_O

nat.not_le_to_lt

logic.eq_coerc

nat.minus_le

bigops.axiom_bigop_body_S

nat.minus_le_minus_minus_comm

nat.le_to_or_lt_eq

nat.plus_minus_m_m

primes.divides_to_dividesb_true

nat.eq_minus_O