Nuprl Definition : eu-nontrivial

eu-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 :  eu-nontrivial
Latex:
eu-nontrivial(e)  ==    e."nontrivial"


Date html generated: 2016_05_18-AM-06_32_30
Last ObjectModification: 2015_09_23-AM-08_59_55

Theory : euclidean!geometry


Home Index