Logipedia-Jumb

connectives.ex_intro

bigops.mk_Aop

nat.sym_eq_minus_body_S

nat.eqb_body

div_mod.axiom_div_aux_body_S

gcd.gcd

bigops.sameF_upto

logic.rewrite_l

permutation.transpose

fact.axiom_fact