Theorem PowerSeries.weierstrassDistinguished_smul

Modification history

2025-06-03 12:11

Mathlib/RingTheory/PowerSeries/WeierstrassPreparation.lean

feat(RingTheory/PowerSeries/WeierstrassPreparation): add algebra isomorphisms induced by Weierstrass division (#25087) …

Added PowerSeries.weierstrassDistinguished_smul View on Github →