Theorem SkewPolynomial.monomial_zero_one

Modification history

2026-06-25 07:54
Mathlib/Algebra/SkewPolynomial/Basic.lean
chore: remove unused instances (#41013) …
Modified SkewPolynomial.monomial_zero_oneView on Github →
2026-06-11 14:51
Mathlib/Algebra/SkewPolynomial/Basic.lean
feat(Algebra/(Skew)Polynomial/Basic): add more API (#38621) …
Modified SkewPolynomial.monomial_zero_oneView on Github →
2026-06-01 13:21
Mathlib/Algebra/SkewPolynomial/Basic.lean
feat(Algebra/SkewPolynomial/Basic): add API (#38619) …
Modified SkewPolynomial.monomial_zero_oneView on Github →
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 →