Skip to content

ja: make the rest of the set relations work between the operands - #772

Merged
moritz-gross merged 1 commit into
daisy:jafrom
yasumorishima:ja-subset-negation
Sep 19, 2026
Merged

moritz-gross merged 1 commit into
daisy:jafrom
yasumorishima:ja-subset-negation

Commits

Commits on Sep 18, 2026