Post #1765429

https://mathoverflow.net/questions/486451/reference-request-right-local-semirings/508783#508783 I'm quite happy how this worked: (1) Junyan Xu comes up with a question (2) formalises it and puts it into https://github.com/google-deepmind/formal-conjectures (3) it gets solved! This is working as intended... When you have a mathematical question you are interested in, and it is not too hard to formalise, consider adding it to Formal Conejctures!