Nuprl Definition : eq-mod-subspace
x = y mod (z.P[z]) == P[x + -(y)]
Definitions occuring in Statement :
vs-neg: -(x),
vs-add: x + y
Definitions occuring in definition :
vs-add: x + y,
vs-neg: -(x)
FDL editor aliases :
eq-mod-subspace
Latex:
x = y mod (z.P[z]) == P[x + -(y)]
Date html generated:
2018_05_22-PM-09_43_44
Last ObjectModification:
2017_11_09-PM-06_06_19
Theory : linear!algebra
Home
Index