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.
fix: drop notation ψ (#6143)
OperatorNorm accidentally introduced a global notation ψ.
Drop it, golf the only proof where it was used.