Theorem PowerSeries.order_exp

Modification history

2026-01-23 10:44
Mathlib/RingTheory/PowerSeries/Exp.lean
feat(RingTheory/PowerSeries/Exp): more lemmas (#34265) …
Added PowerSeries.order_expView on Github →