Nuprl Definition : vs-quotient
vs//z.P[z] == Point= x,y:Point(vs)//x = y mod (z.P[z]) zero= 0 x+y= x + y k*z= k * z
Definitions occuring in Statement :
eq-mod-subspace: x = y mod (z.P[z])
,
mk-vs: mk-vs,
vs-mul: a * x
,
vs-add: x + y
,
vs-0: 0
,
vs-point: Point(vs)
,
quotient: x,y:A//B[x; y]
Definitions occuring in definition :
mk-vs: mk-vs,
quotient: x,y:A//B[x; y]
,
vs-point: Point(vs)
,
eq-mod-subspace: x = y mod (z.P[z])
,
vs-0: 0
,
vs-add: x + y
,
vs-mul: a * x
FDL editor aliases :
vs-quotient
Latex:
vs//z.P[z] == Point= x,y:Point(vs)//x = y mod (z.P[z]) zero= 0 x+y= x + y k*z= k * z
Date html generated:
2018_05_22-PM-09_44_00
Last ObjectModification:
2017_11_09-PM-06_16_58
Theory : linear!algebra
Home
Index