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.


Also see

  • Results about rulers can be found here.


Sources