Logipedia-Jumb

bool.bool

cong.congruent

fact.eq_fact_body_S

nat.axiom_plus_body_O

div_mod.sym_eq_div_aux_body_S

nat.minus_body

cong.let_clause_1034

bigops.eq_bigop_body_O

fact.axiom_fact_body_S

nat.sym_eq_plus