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
)