mathlib
61222354 - chore(algebra/*): make non-instance typeclasses reducible.

Commit

4 years ago

chore(algebra/*): make non-instance typeclasses reducible.

References

eric-wieser/of-module-reducible'

Author

eric-wieser

eric-wieser

Committer

eric-wieser

eric-wieser

Parents

Loading