set-comparator and sets of sets Marc Nieper-Wißkirchen 13 Dec 2016 14:59 UTC