Theorem PowerSeries.maximalIdeal_eq_span_X

Modification history

2024-11-12 11:09

Mathlib/RingTheory/PowerSeries/Inverse.lean

chore: rename `LocalRing` to `IsLocalRing` (#18774)

Modified PowerSeries.maximalIdeal_eq_span_X View on Github →

2024-04-17 16:44

Mathlib/RingTheory/PowerSeries/Inverse.lean

feat (RingTheory/PowerSeries): Add basic lemmas aiming at proving that power series over a field are a DVR (#12160) …

Added PowerSeries.maximalIdeal_eq_span_X View on Github →