Nuprl Definition : geo-nontrivial

geo-nontrivial(e) ==  e."nontrivial"


Definitions occuring in Statement :  token: "$token",  record-select: r.x
Definitions occuring in definition :  record-select: r.x,  token: "$token"
FDL editor aliases :  geo-nontrivial geo-nontrivial
Latex:
geo-nontrivial(e)  ==    e."nontrivial"


Date html generated: 2017_10_02-PM-03_28_18
Last ObjectModification: 2017_08_04-PM-08_48_08

Theory : euclidean!plane!geometry


Home Index