auto-task(Capacity): clear QuantumInfo/Capacity/Capacity.lean from the linter exemption list#1370

jstoobysmith merged 2 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

doxtor6:auto-lintqi-20260705-181624doxtor6/physlib:auto-lintqi-20260705-181624Copy head branch name to clipboard