New functions for checking multiple sets#1925

Open

linuswagner wants to merge 5 commits intousethesource:mainfrom

linuswagner:setfn

Commits on Mar 7, 2024

Add intersection and isDisjoined to set lib
Linus Wagner
committed
fix bug isDisjoined
Linus Wagner
committed

Commits on Mar 10, 2024

Fix disjoint and intersection
Linus Wagner
committed
extend documentation isDisjoint
Linus Wagner
committed

Commits on Mar 13, 2024

Make intersection and isPairwiseDisjoint stricter, add tests
Linus Wagner
committed