mathlib3
f4b22c93 - Update `is_noetherian_ring` definition
Commit
View On GitHub
Commit
5 years ago
Update `is_noetherian_ring` definition
Author
Vierkantor Vierkantor
Committer
Vierkantor Vierkantor
Parents
7c5ed969
FAQ Terms Privacy Refunds Impressum
Loading