Stream: Is there code for X?
Topic: Rigs and rings
Kevin Buzzard (Jun 28 2020 at 01:13):
Do we have all this: https://github.com/UniMath/UniMath/blob/master/UniMath/Algebra/RigsAndRings.v Note documentation at the top
Johan Commelin (Jun 28 2020 at 04:14):
I think we do have it all.
Last updated: May 19 2021 at 00:40 UTC