Def PowerSeries.divXPowOrderHom

Modification history

2025-11-07 10:29

Mathlib/RingTheory/PowerSeries/Order.lean

feat(RingTheory/PowerSeries/Order): PowerSeries.divXPowOrder_pow (#31331) …

Added PowerSeries.divXPowOrderHom View on Github →