Theorem MvPolynomial.isHomogeneous_X_pow

Modification history

2024-02-14 22:15

Mathlib/RingTheory/MvPolynomial/Homogeneous.lean

chore(RingTheory/MvPolynomial/Homogeneous): misc lemmas on homogeneous polyomials (#10478)

Added MvPolynomial.isHomogeneous_X_pow View on Github →