Nuprl Definition : mk-eu-prim
Point=P O=O Left=L == λx.x["Point" := P]["O" := O]["L" := L]
Definitions occuring in Statement :
lambda: λx.A[x]
,
token: "$token"
,
record-update: r[x := v]
FDL editor aliases :
mk-eu-prim
Latex:
Point=P O=O Left=L == \mlambda{}x.x["Point" := P]["O" := O]["L" := L]
Date html generated:
2020_05_20-AM-09_41_08
Last ObjectModification:
2019_12_11-AM-09_41_32
Theory : euclidean!plane!geometry
Home
Index