fix: use resource-algebra's order lemmas; pin resource-algebra 0b338c9 - #11

fix: use resource-algebra's order lemmas; pin resource-algebra 0b338c9#11

hyperpolymath merged 2 commits into

mainhyperpolymath/occupancy-types:mainfrom

claude/new-session-ywdrthhyperpolymath/occupancy-types:claude/new-session-ywdrthCopy head branch name to clipboard