Nuprl Definition : point-perspective
pPerspective(PΔ(a;b;c);PΔ(A;B;C);o) == ∀t1,t2:pgeo-triangle(g). fst(t1) ≠ fst(t2)
Definitions occuring in Statement :
pgeo-triangle: pgeo-triangle(pg),
pgeo-psep: a ≠ b,
pi1: fst(t),
all: ∀x:A. B[x]
Definitions occuring in definition :
all: ∀x:A. B[x],
pgeo-triangle: pgeo-triangle(pg),
pgeo-psep: a ≠ b,
pi1: fst(t)
FDL editor aliases :
p-perspective
Latex:
pPerspective(P\mDelta{}(a;b;c);P\mDelta{}(A;B;C);o) == \mforall{}t1,t2:pgeo-triangle(g). fst(t1) \mneq{} fst(t2)
Date html generated:
2018_05_22-PM-00_51_39
Last ObjectModification:
2017_12_05-PM-00_01_10
Theory : euclidean!plane!geometry
Home
Index