Theorem SkewPolynomial.monomial_mul_monomial

Modification history

2025-10-30 10:43
Mathlib/Algebra/SkewPolynomial/Basic.lean
feat: SkewPolynomial (#29300) …
Added SkewPolynomial.monomial_mul_monomialView on Github →