Nuprl Definition : mk-ss
Point=P#=Sepsymm=Symcotrans=C == λx.x["Point" := P]["#" := Sep]["#symm" := Sym]["#or" := C]
Definitions occuring in Statement :
lambda: λx.A[x],
token: "$token",
record-update: r[x := v]
Definitions occuring in definition :
token: "$token",
lambda: λx.A[x],
record-update: r[x := v]
FDL editor aliases :
mk-ss
Latex:
Point=P\#=Sepsymm=Symcotrans=C == \mlambda{}x.x["Point" := P]["\#" := Sep]["\#symm" := Sym]["\#or" := C]
Date html generated:
2016_11_08-AM-09_10_53
Last ObjectModification:
2016_11_02-AM-10_48_30
Theory : inner!product!spaces
Home
Index