Commit 2025-04-23 20:10 f685e3a9
View on Github →feat: under ConditionallyCompleteLinearOrderBot
, an order iso preserves suprema unconditionally (#24324)
... thanks to the junk values
feat: under ConditionallyCompleteLinearOrderBot
, an order iso preserves suprema unconditionally (#24324)
... thanks to the junk values