Definition:Line/Equality

From ProofWiki
Jump to navigation Jump to search

Definition

Two line segments are equal iff they have the same length.