Vollständigkeit der Sum-Over-Paths im dyadischen Fragment der Quantenberechnung

Die Vollständigkeit der Rewrite-Regeln für das Toffoli-Hadamard-Fragment der Quantenmechanik.