Nuprl Definition : mk-pgeo

mk-pgeo(p; ss; por; lor; j; m; p3; l3) ==

  p["Ssquashstable" := ss]["PLSepOr" := por]["LPSepOr" := lor]["join" := j]["meet" := m]["three-points" := p3]

["three-lines" := l3]

Definitions occuring in Statement : token: "$token", record-update: r[x := v]
Definitions occuring in definition : record-update: r[x := v], token: "$token"
FDL editor aliases : mk-pgeo

Latex:
mk-pgeo(p; ss; por; lor; j; m; p3; l3) == p["Ssquashstable" := ss]["PLSepOr" := por]["LPSepOr" := lor]["join" := j]["meet" := m] ["three-points" := p3]["three-lines" := l3] Date html generated: 2018_05_22-PM-00_27_44 Last ObjectModification: 2017_11_26-PM-01_54_46 Theory : euclidean!plane!geometry Home Index