feat: add Std.TreeSet.diff, Std.TreeSet.subset, SSet.subset, NameSet.diff, NameSet.subset, NameSSet.subset, SMap.any, SMap.all, SMap.subset#10226

Open

srghma wants to merge 3 commits intoleanprover:masterfrom

srghma:feat-add-TreeSet-subset

Commits on Sep 3, 2025

feat: add Std.TreeSet.diff, Std.TreeSet.subset, SSet.subset, NameSet.diff, NameSet.subset, NameSSet.subset, SMap.any, SMap.all, SMap.subset
srghma
committed

Commits on Dec 6, 2025