Def SkewPolynomial

Modification history

2026-04-10 07:34

Mathlib/Algebra/SkewPolynomial/Basic.lean

chore(Algebra/SkewPolynomial): make it an `abbrev` (#37863) …

Deleted SkewPolynomial View on Github →

2025-10-30 10:43

Mathlib/Algebra/SkewPolynomial/Basic.lean

feat: SkewPolynomial (#29300) …

Added SkewPolynomial View on Github →