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