From c7230f0b164b3eab57d965ac984aa7166ab3a1da Mon Sep 17 00:00:00 2001 From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com> Date: Mon, 29 Jun 2026 05:28:05 +0100 Subject: [PATCH] auto-task(BlochSphere): drop unused BargmannInvariant import Co-authored-by: Claude --- QuantumInfo/States/Pure/BlochSphere.lean | 1 - 1 file changed, 1 deletion(-) diff --git a/QuantumInfo/States/Pure/BlochSphere.lean b/QuantumInfo/States/Pure/BlochSphere.lean index 7b8d68c3f..f07ef1331 100644 --- a/QuantumInfo/States/Pure/BlochSphere.lean +++ b/QuantumInfo/States/Pure/BlochSphere.lean @@ -5,7 +5,6 @@ Authors: Anand Nambakam -/ module -public import QuantumInfo.States.Pure.BargmannInvariant public import Mathlib.LinearAlgebra.CrossProduct public import Mathlib.Analysis.InnerProductSpace.PiL2