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