Logipedia-Jumb

nat.commutative_plus

nat.minus_minus

bool.andb

connectives.match_And_prop

bool.eq_match_bool_type_true

cong.congruent

bigops.bigop

gcd.axiom_gcd_aux_body_O

cong.mod_times

permutation.transpose_transpose