Theorem HahnSeries.orderTop_mul

Modification history

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