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: May 02 2025 at 03:31 UTC
Why isn't is_noetherian_ring a class?
Last updated: May 02 2025 at 03:31 UTC