Nuprl Definition : geo-seg2
geo-seg2(s) == snd(s)
Definitions occuring in Statement :
pi2: snd(t)
Definitions occuring in definition :
pi2: snd(t)
Latex:
geo-seg2(s) == snd(s)
Date html generated:
2017_10_02-PM-04_44_15
Last ObjectModification:
2017_08_05-AM-09_08_52
Theory : euclidean!plane!geometry
Home
Index