| http://www.w3.org/ns/prov#value | - The usefulness of this corollary lies in the fact that there is a certain asymptotic conjugation argument of Mautner and Moore which is available for connected Lie groups such as , but not for discrete groups such as , and allows one to boost the invariance properties of a vector; see Proposition 18 below.
|