Tue, 03 Jul 2018 00:15:16 +0100 | paulson | more latex problems | changeset | files |
Mon, 02 Jul 2018 23:06:34 +0100 | paulson | latex fixes | changeset | files |
Mon, 02 Jul 2018 22:40:25 +0100 | paulson | more algebra | changeset | files |
Mon, 02 Jul 2018 21:45:35 +0100 | paulson | merged | changeset | files |
Mon, 02 Jul 2018 21:45:10 +0100 | paulson | Hiding the constant "norm", lest it clash with the norm of a vector space | changeset | files |
Mon, 02 Jul 2018 18:58:50 +0100 | paulson | more lemmas from Paulo | changeset | files |