Category:Natural Numbers with Extension fulfil Naturally Ordered Semigroup Axioms 1, 3 and 4

From ProofWiki
Jump to navigation Jump to search