Nuprl Definition : eu-proper-segment
ProperSegment == {s:Segment| proper(s)}
Definitions occuring in Statement :
eu-seg-proper: proper(s),
eu-segment: Segment,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
eu-segment: Segment,
eu-seg-proper: proper(s)
FDL editor aliases :
eu-ps
Latex:
ProperSegment == \{s:Segment| proper(s)\}
Date html generated:
2016_05_18-AM-06_36_33
Last ObjectModification:
2015_09_23-AM-09_00_09
Theory : euclidean!geometry
Home
Index