mathlib
84910217 - chore(algebra/invertible): generalise typeclasses (#13275)

Commit

4 years ago

chore(algebra/invertible): generalise typeclasses (#13275)

Author

ericrbg

ericrbg

Parents

Loading