Logipedia-Jumb

leibniz.refl_leibniz

nat.plus_n_O

nat.plus_n_Sm

nat.match_nat_type

gcd.commutative_gcd

permutation.transpose

relations.monotonic

nat.le_to_not_lt

nat.nat_elim2

permutation.injective_invert_permut