mathlib3

f51d6bfd - chore(ring_theory/polynomial/tower): weaken comm_semiring hypothesis to semiring (#11712)