| http://www.w3.org/ns/prov#value | - The reals defined as cauchy sequences mod null sequences raise similar issues, but there is some theorem or lemma along the way that certain kinds of maps can be factored through this definition which guarantees well-definedeness in the cases we need.
|
