mathlib3
409ea425 - chore(algebra/*): move some lemmas to `div_inv_monoid` (#5552)

Commit

4 years ago

chore(algebra/*): move some lemmas to `div_inv_monoid` (#5552)

Author

urkud

urkud

Parents

Loading