Wed, 02 Feb 2022 14:52:41 +0000 updated some of the text and cardinality proof
Christian Urban <christian.urban@kcl.ac.uk> [Wed, 02 Feb 2022 14:52:41 +0000] rev 405
updated some of the text and cardinality proof
(0) -300 -100 -30 -10 -1 +1 +10 +30 +100 tip