Convenient vector space

ID: convenient-vector-space

New to topics? Read the docs here!