Zulip Chat Archive
Stream: maths
Topic: is_noetherian_ring
Chris Hughes (Jan 11 2019 at 12:38):
Why isn't is_noetherian_ring a class?
Last updated: Dec 20 2023 at 11:08 UTC
Why isn't is_noetherian_ring a class?
Last updated: Dec 20 2023 at 11:08 UTC