Commit 2021-03-09 21:43 18d4e519
View on Github →chore(algebra/ring/basic): weaken ring.inverse to only require monoid_with_zero (#6603) Split from #5539 because I actually want to use this, and the PR is large and stalled.
chore(algebra/ring/basic): weaken ring.inverse to only require monoid_with_zero (#6603) Split from #5539 because I actually want to use this, and the PR is large and stalled.