Theorem HahnSeries.leadingCoeff_mul

Modification history

2026-01-02 22:26
Mathlib/RingTheory/HahnSeries/Multiplication.lean
feat: `IsStrictOrderedRing (Lex R⟦Γ⟧)` (#33398) …
Added HahnSeries.leadingCoeff_mulView on Github →