mathlib
e7f5b277 - Update `is_noetherian_ring` and `ideal.is_maximal`

Commit
4 years ago
Update `is_noetherian_ring` and `ideal.is_maximal`
Author
Parents
Loading