Nuprl Definition : eu-seg-congruent
s1 ≡ s2 == s1.1s1.2=s2.1s2.2
Definitions occuring in Statement :
eu-seg2: s.2,
eu-seg1: s.1,
eu-congruent: ab=cd
Definitions occuring in definition :
eu-congruent: ab=cd,
eu-seg1: s.1,
eu-seg2: s.2
FDL editor aliases :
eu-seg-congruent
Latex:
s1 \mequiv{} s2 == s1.1s1.2=s2.1s2.2
Date html generated:
2016_05_18-AM-06_36_38
Last ObjectModification:
2015_09_23-AM-09_00_10
Theory : euclidean!geometry
Home
Index