Logipedia-Jumb

fact.sym_eq_fact

nat.plus_minus

gcd.gcd_aux_body

connectives.True

nat.eqb

div_mod.div_aux

nat.match_le_prop

bigops.bigop

permutation.injn

gcd.let_clause_1545