mathlib
8c2af43e - Golf `is_noetherian_of_is_dedekind_domain_inv`

Commit

5 years ago

Golf `is_noetherian_of_is_dedekind_domain_inv`

Author

Vierkantor

Vierkantor

Committer

Vierkantor

Vierkantor

Parents

Loading