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: May 02 2025 at 03:31 UTC