Theorem MvPolynomial.IsHomogeneous.rename_isHomogeneous_iff

Modification history

2024-02-03 06:55
Mathlib/RingTheory/MvPolynomial/Homogeneous.lean
chore: golf #10193 (#10205) …
Added MvPolynomial.IsHomogeneous.rename_isHomogeneous_iffView on Github →