mathlib3
d88eb641 - A local noetherian integral domain of Krull dim 1 with principal maximal ideal is a DVR

Commit

5 years ago

A local noetherian integral domain of Krull dim 1 with principal maximal ideal is a DVR

Author

LAC1213

Parents