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)
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)