User:Dfeuer/Definition:Lexicographic Ordering of Finite Sequences

From ProofWiki

Jump to navigation Jump to search

Definition 1

User:Dfeuer/Definition:Lexicographic Ordering of Finite Sequences/Definition 1

Definition 2

User:Dfeuer/Definition:Lexicographic Ordering of Finite Sequences/Definition 2

Retrieved from "https://proofwiki.org/w/index.php?title=User:Dfeuer/Definition:Lexicographic_Ordering_of_Finite_Sequences&oldid=120474"