mathlib3
4e7c6b27 - chore(algebra/associated): weaken some typeclass assumptions (#7760)

Commit

4 years ago

chore(algebra/associated): weaken some typeclass assumptions (#7760) Also golf ne_zero_iff_of_associated a little.

Author

Ruben-VandeVelde

Parents