These are chat archives for non/algebra

25th
Nov 2016
Denis Rosset
@denisrosset
Nov 25 2016 15:32
Proposed #183 to complete the proposed commutative rings.
Tom Switzer
@tixxit
Nov 25 2016 15:40
Nice!
Denis Rosset
@denisrosset
Nov 25 2016 18:10
Anything about 2.12?
Denis Rosset
@denisrosset
Nov 25 2016 18:35
... in #184!