mathlib

a0d2c439 - feat(algebra/punit_instances): mul_semiring_action (#12271)

feat(algebra/punit_instances): mul_semiring_action (#12271) The timeouts mentioned in the file appear to no longer occur. Co-authored-by: Eric Rodriguez <37984851+ericrbg@users.noreply.github.com>