Formalization of TQI(Theory of Quantum Information)

cadake