yellowsquid/helium.git/src/Helium/Algebra, branch abstract [no description] http://git.yellowsquid.uk/yellowsquid/helium.git/atom?h=abstract 2021-12-19T09:18:45Z Modify multiplicative inverse to not require zero. 2021-12-19T09:18:45Z Greg Brown greg.brown@cl.cam.ac.uk 2021-12-19T09:18:45Z urn:sha1:4e617e45594c6a272678923878319fc7f1584452 Introduce definition of a field. 2021-12-17T12:45:09Z Greg Brown greg.brown@cl.cam.ac.uk 2021-12-16T12:40:35Z urn:sha1:4643e5107299a8f55a4f130c1da84d6011f1e017