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: Aug 03 2023 at 10:10 UTC
So when will the typeclass system / module system be ready for us to finally state this theorem properly?
Last updated: Aug 03 2023 at 10:10 UTC