Nuprl Definition : geo-X
X == snd(geo-nontrivial(e))
Definitions occuring in Statement :
geo-nontrivial: geo-nontrivial(e),
pi2: snd(t)
Definitions occuring in definition :
pi2: snd(t),
geo-nontrivial: geo-nontrivial(e)
FDL editor aliases :
geo-x
geo-x
Latex:
X == snd(geo-nontrivial(e))
Date html generated:
2017_10_02-PM-03_28_26
Last ObjectModification:
2017_08_04-PM-08_48_12
Theory : euclidean!plane!geometry
Home
Index