Nuprl Definition : mk-eu

primitive=e
Ssquashstable=Sstab
Lorsquashstable=Lstab
SepOr=Gtor
nontriv=nontriv
SS=SS
SC=SC
CC=CC ==

  e["Ssquashstable" := Sstab]["Lorsquashstable" := Lstab]["SepOr" := Gtor]["nontrivial" := nontriv]["SS" := SS]

["SS" := SS]["SC" := SC]["CC" := CC]

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

Latex:
primitive=e Ssquashstable=Sstab Lorsquashstable=Lstab SepOr=Gtor nontriv=nontriv SS=SS SC=SC CC=CC == e["Ssquashstable" := Sstab]["Lorsquashstable" := Lstab]["SepOr" := Gtor]["nontrivial" := nontriv] ["SS" := SS]["SS" := SS]["SC" := SC]["CC" := CC] Date html generated: 2020_05_20-AM-10_35_02 Last ObjectModification: 2020_01_29-PM-04_26_28 Theory : euclidean!plane!geometry Home Index