Commit 2020-05-14 15:22 d412cfd0
View on Github →chore(algebra/ring): lemmas about units in a semiring (#2680) The lemmas in non-localization files from #2675. (Apart from one, which wasn't relevant to #2675). (Edit: I am bad at git. I was hoping there would only be 1 commit here. I hope whatever I'm doing wrong is inconsequential...)