2022-02-04 | Christian Urban | updated papers | file | diff | annotate |
2022-02-02 | Christian Urban | updated some of the text and cardinality proof | file | diff | annotate |
2022-01-30 | Christian Urban | more definitions in the paper | file | diff | annotate |