Logipedia-Jumb

fact.sym_eq_fact_body_S

div_mod.eq_div_aux_body_O

nat.not_lt_to_le

nat.associative_plus

logic.absurd

bool.true_or_false

bigops.sym_eq_bigop_body_O

nat.le_plus_to_minus

nat.sym_eq_minus_body_S

nat.axiom_leb_body_O