Commit 2025-11-24 14:11 267d06a7
View on Github →feat: no element is strictly negative in a canonically ordered monoid (#31894) This isn't found by simp, so many concrete types implemented their own simp lemmas.
feat: no element is strictly negative in a canonically ordered monoid (#31894) This isn't found by simp, so many concrete types implemented their own simp lemmas.