mathlib
572f7274 - chore(algebra/big_operators): use weaker typeclass assumptions (#6503)

Commit

4 years ago

chore(algebra/big_operators): use weaker typeclass assumptions (#6503)

Author

urkud

urkud

Parents

Loading