Nuprl Definition : sub-free-vs
sub-free-vs(K;S;T) == (f:free-vs(K;S) | 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),
sub-vs: (v:vs | P[v])
Definitions occuring in definition :
sub-vs: (v:vs | P[v]),
free-vs: free-vs(K;S),
fs-in-subtype: fs-in-subtype(K;S;T;f)
FDL editor aliases :
sub-free-vs
Latex:
sub-free-vs(K;S;T) == (f:free-vs(K;S) | fs-in-subtype(K;S;T;f))
Date html generated:
2019_10_31-AM-06_30_07
Last ObjectModification:
2019_08_19-AM-11_41_50
Theory : linear!algebra
Home
Index