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: Dec 20 2023 at 11:08 UTC