Theorem HahnSeries.coeff_ofSuppBddBelow

Modification history

2026-01-21 07:32
Mathlib/RingTheory/HahnSeries/Basic.lean
feat(RingTheory/HahnSeries/Basic): more theorems on `order`/`orderTop` (#33494) …
Added HahnSeries.coeff_ofSuppBddBelowView on Github →