Commit 2024-06-17 16:57 009daa3a

View on Github →

feat: positivity of star x * x (#13748) It is positive when IsRegular x (which requires weaker constraints on R than IsUnit x or x ≠ 0)

Estimated changes