Nuprl Definition : right-angle
Rabc == ∀c':Point. (c'=b=c ⇒ ac ≅ ac')
Definitions occuring in Statement :
geo-midpoint: a=m=b,
geo-congruent: ab ≅ cd,
geo-point: Point,
all: ∀x:A. B[x],
implies: P ⇒ Q
Definitions occuring in definition :
all: ∀x:A. B[x],
geo-point: Point,
implies: P ⇒ Q,
geo-midpoint: a=m=b,
geo-congruent: ab ≅ cd
FDL editor aliases :
right-angle
right-angle
right-angle
Latex:
Rabc == \mforall{}c':Point. (c'=b=c {}\mRightarrow{} ac \00D0 ac')
Date html generated:
2017_10_02-PM-06_40_15
Last ObjectModification:
2017_08_05-PM-04_46_53
Theory : euclidean!plane!geometry
Home
Index