Nuprl Definition : relative-free-vs
relative-free-vs(K;S;T) == free-vs(K;S)//f.fs-in-subtype(K;S;T;f)
Definitions occuring in Statement :
free-vs: free-vs(K;S),
fs-in-subtype: fs-in-subtype(K;S;T;f),
vs-quotient: vs//z.P[z]
Definitions occuring in definition :
vs-quotient: vs//z.P[z],
free-vs: free-vs(K;S),
fs-in-subtype: fs-in-subtype(K;S;T;f)
FDL editor aliases :
relative-free-vs
Latex:
relative-free-vs(K;S;T) == free-vs(K;S)//f.fs-in-subtype(K;S;T;f)
Date html generated:
2019_10_31-AM-06_30_24
Last ObjectModification:
2019_08_20-AM-10_32_33
Theory : linear!algebra
Home
Index