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 2025 at 21:32 UTC
Why isn't is_noetherian_ring a class?
Last updated: Dec 20 2025 at 21:32 UTC