Definition:Line/Equality

From ProofWiki
Jump to: navigation, search

Definition

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