Theorem PowerSeries.isUnit_exp

Modification history

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