Nuprl Definition : geo-seg-of
geo-seg-of(sp) == fst(sp)
Definitions occuring in Statement :
pi1: fst(t)
Definitions occuring in definition :
pi1: fst(t)
Latex:
geo-seg-of(sp) == fst(sp)
Date html generated:
2017_10_02-PM-04_44_40
Last ObjectModification:
2017_08_05-AM-09_09_18
Theory : euclidean!plane!geometry
Home
Index