Theorem MvPolynomial.IsHomogeneous.coeff_isHomogeneous_of_optionEquivLeft_symm

Modification history

2024-02-14 03:21
Mathlib/RingTheory/MvPolynomial/Homogeneous.lean
feat(LinearAlgebra/Charpoly): the universal characteristic polynomial (#10358)
Added MvPolynomial.IsHomogeneous.coeff_isHomogeneous_of_optionEquivLeft_symmView on Github →