Skip to content

auto-task(BlochSphere): drop unused BargmannInvariant import - #1309

Closed
jstoobysmith wants to merge 1 commit into
leanprover-community:masterfrom
jstoobysmith:auto-importminimizer-20260629-050716
Closed

auto-task(BlochSphere): drop unused BargmannInvariant import#1309
jstoobysmith wants to merge 1 commit into
leanprover-community:masterfrom
jstoobysmith:auto-importminimizer-20260629-050716

auto-task(BlochSphere): drop unused BargmannInvariant import

c7230f0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Comment a pull_request
succeeded Jun 29, 2026 in 29s