Theorem SkewPolynomial.monomial_zero_one

Modification history

2025-11-03 21:57
Mathlib/Algebra/SkewPolynomial/Basic.lean
chore: tidy various files (#31207)
Modified SkewPolynomial.monomial_zero_oneView on Github →
2025-10-30 10:43
Mathlib/Algebra/SkewPolynomial/Basic.lean
feat: SkewPolynomial (#29300) …
Added SkewPolynomial.monomial_zero_oneView on Github →