Nuprl Definition : mk-ss
Point=P #=Sep cotrans=C == λx.x["Point" := P]["#" := Sep]["#or" := C]
Definitions occuring in Statement :
lambda: λx.A[x],
token: "$token",
record-update: r[x := v]
Definitions occuring in definition :
record-update: r[x := v],
lambda: λx.A[x],
token: "$token"
FDL editor aliases :
mk-ss
Latex:
Point=P \#=Sep cotrans=C == \mlambda{}x.x["Point" := P]["\#" := Sep]["\#or" := C]
Date html generated:
2019_10_31-AM-07_26_23
Last ObjectModification:
2019_09_19-PM-04_06_44
Theory : constructive!algebra
Home
Index