Hermitian matrix

Commutativity of quantum weakest preconditions