Logipedia-Jumb

nat.not_le_to_lt

nat.eq_leb_body_O

nat.eq_plus

gcd.let_clause_1551

nat.not_eq_to_le_to_lt

bigops.axiom_bigop_body_O

permutation.permut_invert_permut

bool.match_bool_type

gcd.divides_mod_to_divides

cong.congruent_to_divides