Theorem PowerSeries.irreducible_X

Modification history

2026-10-13 18:30

Mathlib/RingTheory/PowerSeries/NoZeroDivisors.lean

refactor(RingTheory/PowerSeries/NoZeroDivisors): fix names (#44692) …

Added PowerSeries.irreducible_X View on Github →