ByNobleID
    A Complete Equational Theory for Quantum Circuits | NobleID