| http://www.w3.org/ns/prov#value | - The argument I gave is a less powerful application of some of the tools used in the nice answer given by BCnrd -- it is really just an application of Chevalley's Theorem (I used the form found in Springer's Linear Algebraic Groups" which is good enough for varieties but not for application to schemes in general).
|
