P
Initializing...
Arveson-type extension of a unital completely positive map on an operator system · Prove2Me