Add lemata on Complex numbers

inQWIRE / QuantumLib

Coq library for reasoning about quantum programs

Other

32 stars 10 forks source link

Closed adrianleh closed 3 years ago

adrianleh commented 3 years ago

This lemma will prove useful when dealing with the adjoint of rotation matrices