Nuprl Definition : eu-seg-proper
proper(s) == ¬(s.1 = s.2 ∈ Point)
Definitions occuring in Statement :
eu-seg2: s.2,
eu-seg1: s.1,
eu-point: Point,
not: ¬A,
equal: s = t ∈ T
Definitions occuring in definition :
not: ¬A,
equal: s = t ∈ T,
eu-point: Point,
eu-seg1: s.1,
eu-seg2: s.2
FDL editor aliases :
eu-sp
Latex:
proper(s) == \mneg{}(s.1 = s.2)
Date html generated:
2016_05_18-AM-06_36_30
Last ObjectModification:
2015_09_23-AM-09_00_08
Theory : euclidean!geometry
Home
Index