Nuprl Definition : acute-angle
Acute(a;b;c) == ∀c':Point. (c'=b=c ⇒ ac' > ac)
Definitions occuring in Statement :
geo-midpoint: a=m=b,
geo-gt: cd > ab,
geo-point: Point,
all: ∀x:A. B[x],
implies: P ⇒ Q
Definitions occuring in definition :
geo-gt: cd > ab,
geo-midpoint: a=m=b,
implies: P ⇒ Q,
geo-point: Point,
all: ∀x:A. B[x]
FDL editor aliases :
acute-angle
Latex:
Acute(a;b;c) == \mforall{}c':Point. (c'=b=c {}\mRightarrow{} ac' > ac)
Date html generated:
2018_05_22-AM-11_52_16
Last ObjectModification:
2018_03_28-PM-02_37_39
Theory : euclidean!plane!geometry
Home
Index