Commit 2024-09-04 22:22 5ba359da

View on Github →

feat: H →L[ℂ] H is a StarOrderedRing when H is a Hilbert space (#16462)

Estimated changes