thys2/paper.pdf
2022-02-04 Christian Urban updated papers
2022-02-02 Christian Urban updated some of the text and cardinality proof
2022-01-30 Christian Urban more definitions in the paper
less more (0) -3 tip