Theorem PowerSeries.heval_X

Modification history

2025-08-08 20:01

Mathlib/RingTheory/HahnSeries/HEval.lean

refactor (RingTheory/HahnSeries/HEval): remove positive order condition from definition (#25830) …

Added PowerSeries.heval_X View on Github →