chore: Rebase on main.

Adds Lemma M6.1.
kylechui · May 29, 2024 · 4b627e7 · 4b627e7
1 parent f4ff99b
commit 4b627e7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Main.v b/Main.v
@@ -1,3 +1,4 @@
+Require Import Coq.Logic.Classical_Prop.
 Require Import QuantumLib.Complex.
 Require Import QuantumLib.Quantum.
 Require Import QuantumLib.Eigenvectors.
@@ -10,6 +11,7 @@ Require Import UnitaryHelpers.
 Require Import GateHelpers.
 Require Import SwapHelpers.
 Require Import EigenvalueHelpers.
+Require Import QubitHelpers.
 Require Import Permutations.
 Require Import A1_SquareMatrices.
 Require Import A2_UnitaryMatrices.