Logipedia
Modules
About
FAQ
Search
Search
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