Nuprl Definition : mk-dp
mk-dp(p;sqs;st;sor;crs;nt) ==
p["Ssquashstable" := sqs]["Pstable" := st]["SepOr" := sor]["cross" := crs]["nontrivial" := nt]
Definitions occuring in Statement :
record-update: r[x := v],
token: "$token"
Definitions occuring in definition :
token: "$token",
record-update: r[x := v]
FDL editor aliases :
mk-dp
Latex:
mk-dp(p;sqs;st;sor;crs;nt) ==
p["Ssquashstable" := sqs]["Pstable" := st]["SepOr" := sor]["cross" := crs]["nontrivial" := nt]
Date html generated:
2018_05_21-PM-09_44_57
Last ObjectModification:
2018_05_09-AM-11_58_31
Theory : matrices
Home
Index