Commit 2023-07-26 13:02 4df84447

View on Github →

fix: drop notation ψ (#6143) OperatorNorm accidentally introduced a global notation ψ. Drop it, golf the only proof where it was used.

Estimated changes