Nuprl Definition : geo-equilateral
EQΔ(a;b;c) == ((ab ≅ cb ∧ ac ≅ bc) ∧ ac ≅ ab) ∧ a # bc
Definitions occuring in Statement :
geo-lsep: a # bc,
geo-congruent: ab ≅ cd,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
geo-congruent: ab ≅ cd,
geo-lsep: a # bc
FDL editor aliases :
geo-equilateral
Latex:
EQ\mDelta{}(a;b;c) == ((ab \00D0 cb \mwedge{} ac \00D0 bc) \mwedge{} ac \00D0 ab) \mwedge{} a \# bc
Date html generated:
2017_10_02-PM-04_41_47
Last ObjectModification:
2017_08_05-AM-08_25_25
Theory : euclidean!plane!geometry
Home
Index