Definition:Primitive

From ProofWiki
Jump to: navigation, search