lib.types.Nat: export injectivity of S, close #12
Merge pull request #14 from mikeshulman/S-injective

lib.types.Nat: export injectivity of S, close #12