Commit 2024-10-30 14:02 1563a2cb

View on Github →

feat: in a C⋆-algebra, if 1 ≤ a, then a ^ · is monotone (#18351)

Estimated changes