Stinespring factorization theorem

Summary