Theorem LaurentSeries.LaurentSeriesRingEquiv_mem_valuationSubring

Modification history

2025-01-27 10:06
Mathlib/RingTheory/LaurentSeries.lean
feat(RingTheory/LaurentSeries): add algebraEquiv (#21004) …
Added LaurentSeries.LaurentSeriesRingEquiv_mem_valuationSubringView on Github →