Logipedia-Jumb

nat.le_S

bigops.Aop

permutation.bijn

nat.axiom_match_nat_type_S

gcd.not_divides_to_gcd_aux

bigops.eq_bigop_S

permutation.permut_invert_permut

connectives.equal

nat.axiom_minus_body_S

div_mod.mod_aux_body