feat: in a C⋆-algebra, if 1 ≤ a
, then a ^ ·
is monotone (#18351)
#11505
bors.yml
on: push
Cancel Previous Runs (CI)
4s
Post-CI job
13s