Nuprl Definition : geo-O

O ==  fst(geo-nontrivial(e))


Definitions occuring in Statement :  geo-nontrivial: geo-nontrivial(e),  pi1: fst(t)
Definitions occuring in definition :  pi1: fst(t),  geo-nontrivial: geo-nontrivial(e)
FDL editor aliases :  geo-o geo-o
Latex:
O  ==    fst(geo-nontrivial(e))


Date html generated: 2017_10_02-PM-03_28_23
Last ObjectModification: 2017_08_04-PM-08_48_10

Theory : euclidean!plane!geometry


Home Index