mathlib3
chore(ring_theory/polynomial): refactor proof of is_noetherian_ring_fin
#2117
Merged
Merged
Commits
-
kim-em committed 6 years ago
-
mergify[bot] committed 6 years ago
