-
Jente Hidskes authored
The difference between AbstractPowerset and Powerset is in the ordering, where Powerset is ordered by regular set inclusion and AbstractPowerset is has `xs <= ys iff forall y in ys. exists x in xs. x <= y`. Since we cannot neatly get this small difference in Powerset, we duplicate the code.