User:Dfeuer/Definition:Zero

From ProofWiki
Jump to navigation Jump to search

Definition

Zero, written $0$, is (in this context) another name for the User:Dfeuer/Definition:Empty Class.