Commit 2019-02-08 19:05 11e19d8c
View on Github →refactor(ring_theory/noetherian): make is_noetherian and is_noetherian_ring classes (#689)
- refactor(ring_theory/noetherian): make is_noetherian and is_noetherian_ring classes
- correct spelling mistake.
- add well_founded_submodule_gt