Commit 2025-08-27 16:04 9ae7bf7d
View on Github →chore(Algebra/Order): move x ⊓ y = (⅟2 : α) • (x + y - |y - x|) (#28900)
This has nothing to do with OrderedSMul.
chore(Algebra/Order): move x ⊓ y = (⅟2 : α) • (x + y - |y - x|) (#28900)
This has nothing to do with OrderedSMul.