Nuprl Definition : rv-mul
a*x == rv."*" a x
Wellformedness Lemmas :
rv-mul_wf
Definitions occuring in Statement :
apply: f a,
token: "$token",
record-select: r.x
Definitions occuring in definition :
apply: f a,
record-select: r.x,
token: "$token"
FDL editor aliases :
rv-mul
Latex:
a*x == rv."*" a x
Date html generated:
2017_10_04-PM-11_50_20
Last ObjectModification:
2017_06_22-PM-06_44_19
Theory : inner!product!spaces
Home
Index