*): assorted lemmas (#10508)

Commit

4 years ago

feat(algebra/gcd_monoid/*): assorted lemmas (#10508) From flt-regular. Co-authored-by: Johan Commelin <johan@commelin.net>

Author

ericrbg

Parents