| http://www.w3.org/ns/prov#value | - We???re interested in part of the famous ???Baire category theorem??? ??? the name is an artifact of the old, awkward approach and has nothing to do with category theory ??? which tells us that every complete metric space is a Baire space.
|
