Stinespring factorization theorem

1. REDIRECT Stinespring dilation theorem

{{Redirect category shell|

{{R from move}}

}}