mathlib3
chore(ring_theory/polynomial): refactor proof of is_noetherian_ring_fin
#2117
Merged
Merged
chore(ring_theory/polynomial): refactor proof of is_noetherian_ring_fin #2117
mergify
merged
2 commits into
master
from
is_noetherian_ring_fin_refactor
chore(ring_theory/polynomial): refactor proof of is_noetherian_ring_fin
0fae3fae
jcommelin
approved these changes
on 2020-03-09
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into is_noetherian_ring_fin_refactor
baf26c9a
Login to write a write a comment.
Login via GitHub