Nuprl Definition : mk-s-group

mk-s-group(ss; e; i; o; sep; invsep) ==  ss["id" := e]["inv" := i]["op" := o]["opsep" := sep]["invsep" := invsep]


Definitions occuring in Statement :  token: "$token",  record-update: r[x := v]
Definitions occuring in definition :  token: "$token",  record-update: r[x := v]
Latex:
mk-s-group(ss;  e;  i;  o;  sep;  invsep)  ==
    ss["id"  :=  e]["inv"  :=  i]["op"  :=  o]["opsep"  :=  sep]["invsep"  :=  invsep]


Date html generated: 2016_11_08-AM-09_11_42
Last ObjectModification: 2016_11_02-PM-05_06_21

Theory : inner!product!spaces


Home Index