Category:Set of Integers Bounded Above has Greatest Element

From ProofWiki
Jump to navigation Jump to search