Commit 2025-11-14 01:25 0d966201

chore(Order): remove redundant instance fields (#30752) This PR continues the cleanup from #30734, mosly removing bot := ⊥. I also want to remove occurrences of sup := (· ⊔ ·), but the problem is that the sup and min fields are different, making things more awkward than they should be. (See also #24614) I found these redundant instance fields using VSCode's built-in search.