Zulip Chat Archive
Stream: general
Topic: Abelian groups are Z-modules
Kenny Lau (Nov 20 2018 at 16:51):
So when will the typeclass system / module system be ready for us to finally state this theorem properly?
Last updated: Dec 20 2023 at 11:08 UTC
So when will the typeclass system / module system be ready for us to finally state this theorem properly?
Last updated: Dec 20 2023 at 11:08 UTC