mathlib
89bc63c3 - feat(ring_theory/noetherian): is_noetherian_ring_range

Commit

7 years ago

feat(ring_theory/noetherian): is_noetherian_ring_range

References

#663 - feat(ring_theory/noetherian): is_noetherian_ring_range

Author

kckennylau

kckennylau

Committer

johoelzl

johoelzl

Parents

Loading