Definition:Ruler

From ProofWiki
Jump to navigation Jump to search

Definition

A ruler is a straightedge with a scale included on it to to measure or construct straight lines of a given length.


Sources