Definition:Tool

From ProofWiki
Jump to navigation Jump to search

Definition

A tool is a physical device used as an aid to a process.