Zulip Chat Archive
Stream: maths
Topic: Niels Henrik Module
Johan Commelin (Nov 22 2018 at 03:10):
@Mario Carneiro How hard would it be to teach abel about modules?
Mario Carneiro (Nov 22 2018 at 03:11):
that was on the eventual roadmap
Last updated: May 02 2025 at 03:31 UTC