feat(math): add poset closure, dual, and induced subposet operations - #2039
Open
morluto wants to merge 5 commits into
Open
feat(math): add poset closure, dual, and induced subposet operations#2039morluto wants to merge 5 commits into
morluto wants to merge 5 commits into
Commits
Commits on Aug 18, 2026
- committed
- committed
- committed
- committed
Commits on Aug 19, 2026
- committed