Design: replace pair self-duality with maxCone and cone closure - #809

Design: replace pair self-duality with maxCone and cone closure#809

amaybaum wants to merge 3 commits into

dev-equivalence/maxcone-base-20261012amaybaum/incompleteness:dev-equivalence/maxcone-base-20261012from

dev-equivalence/maxcone-20261012amaybaum/incompleteness:dev-equivalence/maxcone-20261012Copy head branch name to clipboard