Zulip Chat Archive
Stream: general
Topic: gcd_monoid
Yaël Dillies (Aug 20 2021 at 07:12):
Any reason why algebra.gcd_monoid isn't called algebra.gcd_monoid.basic?
Anne Baanen (Aug 20 2021 at 09:20):
Presumably because algebra.gcd_monoid.* were created from other files in #7800, and we forgot to move algebra.gcd_monoid itself?
Yaël Dillies (Aug 20 2021 at 09:24):
Done in #8772!
Last updated: Dec 20 2023 at 11:08 UTC