cosets.clj: documented an apparently missed result from table-generator