fix(ring_theory/polynomial/homogeneous): spelling mistake in `homogeneous` (#8914)
fix(ring_theory/polynomial/homogeneous): spelling mistake in `homogeneous` (#8914)






leanprover-community/mathlib,leanprover-community/mathlib