Wed, 10 Apr 2019 23:12:27 +0100 | paulson | merged | changeset | files |
Wed, 10 Apr 2019 23:12:16 +0100 | paulson | prod/sum fixes | changeset | files |
Wed, 10 Apr 2019 21:29:32 +0100 | paulson | Fixing the main Homology theory; also moving a lot of sum/prod lemmas into their generic context | changeset | files |