mathlib3
3e1d4d32 - feat(algebra/gcd_monoid): `associates` lemmas (#10705)

Commit

4 years ago

feat(algebra/gcd_monoid): `associates` lemmas (#10705) Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>

Author

ericrbg

Parents