Theorem: MvPolynomial.homogenization_zero (FltRegular/ReadyForMathlib/Homogenization.lean)

State before:
R : Type u_1
ι : Type u_2
inst✝ : CommSemiring R
i : ι
⊢ homogenization i 0 = 0
Tactic:
simp [homogenization]
State after:
no goals