Nuprl Definition : geo-seg-congruent
geo-seg-congruent(e; s1; s2) == geo-seg1(s1)geo-seg2(s1) ≅ geo-seg1(s2)geo-seg2(s2)
Definitions occuring in Statement :
geo-seg2: geo-seg2(s),
geo-seg1: geo-seg1(s),
geo-congruent: ab ≅ cd
Definitions occuring in definition :
geo-congruent: ab ≅ cd,
geo-seg1: geo-seg1(s),
geo-seg2: geo-seg2(s)
Latex:
geo-seg-congruent(e; s1; s2) == geo-seg1(s1)geo-seg2(s1) \00D0 geo-seg1(s2)geo-seg2(s2)
Date html generated:
2017_10_02-PM-04_44_46
Last ObjectModification:
2017_08_05-AM-09_09_22
Theory : euclidean!plane!geometry
Home
Index