Skip to content

auto-task(QuantumInfo.ClassicalInfo.Capacity): minimize imports#1455

Merged
jstoobysmith merged 1 commit into
leanprover-community:masterfrom
Alex-Zughaid:auto-importminimizer-20260722-094135
Jul 23, 2026
Merged

auto-task(QuantumInfo.ClassicalInfo.Capacity): minimize imports#1455
jstoobysmith merged 1 commit into
leanprover-community:masterfrom
Alex-Zughaid:auto-importminimizer-20260722-094135

auto-task(QuantumInfo.ClassicalInfo.Capacity): minimize imports

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

Annotations

1 warning and 1 notice
Add topic label
succeeded Jul 22, 2026 in 1m 21s