homogeneous): spelling mistake in `homogeneous` (#8914)

Commit

4 years ago

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

Author

eric-wieser

Parents