mathlib
7e5be024 - chore(algebra/*): make non-instance typeclasses reducible. (#8322)

Commit

4 years ago

chore(algebra/*): make non-instance typeclasses reducible. (#8322) A follow up to #7835

Author

eric-wieser

Parents