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: Feb 28 2026 at 14:05 UTC
Why isn't is_noetherian_ring a class?
Last updated: Feb 28 2026 at 14:05 UTC