Prefer a chat interface with context about you and your work?
Completely positive maps: pro-$$C^*$$-algebras and Hilbert modules over pro-$$C^*$$-algebras