George Thomas e85429629f Generalise allUnorderedPairs
Now that it's in the prelude, the desire to remove diagonals is less obvious than it was.
2025-12-09 13:35:54 +00:00
..
2025-12-08 23:38:48 +00:00
2025-12-09 13:35:54 +00:00
2025-12-09 13:35:54 +00:00