Commit 2025-09-01 17:39 9ab85356

View on Github →

feat(Algebra/Star/SelfAdjoint): unit * a * star unit is self-adjoint iff a is (#28544)

Estimated changes