Nuprl Definition : eu-Y
Y == snd(snd(eu-nontrivial(e)))
Definitions occuring in Statement :
eu-nontrivial: eu-nontrivial(e),
pi2: snd(t)
Definitions occuring in definition :
pi2: snd(t),
eu-nontrivial: eu-nontrivial(e)
FDL editor aliases :
eu-y
Latex:
Y == snd(snd(eu-nontrivial(e)))
Date html generated:
2016_05_18-AM-06_32_40
Last ObjectModification:
2015_09_23-AM-08_59_56
Theory : euclidean!geometry
Home
Index