mathlib3
feat(ring_theory/noetherian): is_noetherian_ring_range
#663

Merged

feat(ring_theory/noetherian): is_noetherian_ring_range #663

johoelzl merged 1 commit into master from noetherian-range

feat(ring_theory/noetherian): is_noetherian_ring_range

b5440be3

johoelzl merged 89bc63c3 into master 7 years ago

johoelzl deleted the noetherian-range branch 7 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone