Nuprl Definition : relative-vs
v.A[v]//z.B[z] == (v:vs | A[v])//z.B[z]
Definitions occuring in Statement :
vs-quotient: vs//z.P[z],
sub-vs: (v:vs | P[v])
Definitions occuring in definition :
vs-quotient: vs//z.P[z],
sub-vs: (v:vs | P[v])
FDL editor aliases :
relative-vs
Latex:
v.A[v]//z.B[z] == (v:vs | A[v])//z.B[z]
Date html generated:
2019_10_31-AM-06_28_07
Last ObjectModification:
2019_08_12-PM-01_16_31
Theory : linear!algebra
Home
Index